[jdk11u-dev] RFR: 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)

> ⚠️ @Korov a branch with the same name as the source branch for this pull request (`master`) is present in the [target repository](https://github.com/openjdk/jdk11u-dev). If you eventually integrate this pull request then the branch `master` in your [personal fork](https://github.com/Korov/jdk11u-dev) will diverge once you sync your personal fork with the upstream repository.
> 
> To avoid this situation, create a new branch for your changes and reset the `master` branch. You can do this by running the following commands in a local repository for your personal fork. _Note_: you do _not_ have to name the new branch `NEW-BRANCH-NAME`.
> 
> ```
> $ git checkout -b NEW-BRANCH-NAME
> $ git branch -f master 514c0eb8363490f0941fb8c3c3dff312d125c14b
> $ git push -f origin master
> ```
> 
> Then proceed to create a new pull request with `NEW-BRANCH-NAME` as the source branch and close this one.

new PR  https://github.com/openjdk/jdk11u-dev/pull/2062

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

PR Comment: https://git.openjdk.org/jdk11u-dev/pull/2061#issuecomment-1656865286