On Mon, 19 Apr 2021 20:43:26 GMT, Ian Graves <igra...@openjdk.org> wrote:
> Clarifying note on comments mode to explicitly note that whitespace within > character classes is ignored. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/3577
