On Tue, 15 Aug 2023 10:48:29 GMT, Glavo wrote:
>> Clean up misuses of `toLowerCase()`/`toUpperCase()` in java.base.
>
> Glavo has updated the pull request with a new target base due to a merge or a
> rebase. The pull request now contains four commits:
>
> - Merge remote-tracking branch 'origin
On Tue, 15 Aug 2023 10:48:29 GMT, Glavo wrote:
>> Clean up misuses of `toLowerCase()`/`toUpperCase()` in java.base.
>
> Glavo has updated the pull request with a new target base due to a merge or a
> rebase. The pull request now contains four commits:
>
> - Merge remote-tracking branch 'origin
On Tue, 15 Aug 2023 10:48:29 GMT, Glavo wrote:
>> Clean up misuses of `toLowerCase()`/`toUpperCase()` in java.base.
>
> Glavo has updated the pull request with a new target base due to a merge or a
> rebase. The pull request now contains four commits:
>
> - Merge remote-tracking branch 'origin
> Clean up misuses of `toLowerCase()`/`toUpperCase()` in java.base.
Glavo has updated the pull request with a new target base due to a merge or a
rebase. The pull request now contains four commits:
- Merge remote-tracking branch 'origin/master' into case-conversion-java-base
- Revert StreamTok