[jdk11u-dev] Withdrawn: 8305733: Pattern.CASE_INSENSITIVE does not take effect in jdk11

[Korov]

On Thu, 27 Jul 2023 14:47:47 GMT, Korov <duke at openjdk.org> wrote:

> fix [JDK-8305733](https://bugs.openjdk.org/browse/JDK-8305733)

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.org/jdk11u-dev/pull/2061