On Wed, 9 Apr 2025 15:53:51 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> I believe the source code of the JDK should be in US-ASCII if possible, and >> only employ extended characters if that is strictly necessary for the code >> to work. >> >> In my attempt to figure out which non-ascii files are another encoding than >> utf-8 (see [JDK-8301971](https://bugs.openjdk.org/browse/JDK-8301971)), I >> discovered a handful of files that use unicode characters for no good >> reason, when normal ASCII characters could have been used (and have been >> used everywhere else in the code base in similar contexts). > > Magnus Ihse Bursie has updated the pull request incrementally with one > additional commit since the last revision: > > Oops. Thanks for fixing! ------------- Marked as reviewed by iris (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/24552#pullrequestreview-2754330944
