On Tue, 6 May 2025 14:16:32 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> As a follow-up to >> [JDK-8354213](https://bugs.openjdk.org/browse/JDK-8354213), I found some >> additional places where unicode characters are unnecessarily used instead of >> pure ASCII. > > Magnus Ihse Bursie has updated the pull request with a new target base due to > a merge or a rebase. The incremental webrev excludes the unrelated changes > brought in by the merge/rebase. The pull request contains three additional > commits since the last revision: > > - Merge branch 'master' into restore-more-ascii > - Remove incorrectly copied "§anchor" > - 8354273: Restore even more pointless unicode characters to ASCII LGTM ------------- Marked as reviewed by naoto (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/24567#pullrequestreview-2818989660
