On Fri, 21 Oct 2022 16:04:14 GMT, Naoto Sato <na...@openjdk.org> wrote:
> replace those dangling white spaces with explicit Unicode escapes this is a *very good* idea. ------------- PR: https://git.openjdk.org/jdk/pull/10792
On Fri, 21 Oct 2022 16:04:14 GMT, Naoto Sato <na...@openjdk.org> wrote:
> replace those dangling white spaces with explicit Unicode escapes this is a *very good* idea. ------------- PR: https://git.openjdk.org/jdk/pull/10792