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. Looks all right. Probably a CSR is in order. ------------- Marked as reviewed by bpb (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/3577
