On Sun, 3 Sep 2023 17:54:02 GMT, Claes Redestad <redes...@openjdk.org> wrote:
> The preferred route is to merge in then push changes from master to your PR > branch. Merge will cause a lot of file changes > `hasNotUpperCaseEx` sounds wrong. `hasUpperCaseMapping`? i have renamed hasNotUpperCaseEx to hasUpperCaseMapping. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14751#issuecomment-1704475117 PR Comment: https://git.openjdk.org/jdk/pull/14751#issuecomment-1704475354
