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

Reply via email to