On Mon, 19 Oct 2020 18:08:28 GMT, Stuart Marks <[email protected]> wrote:
> This is a fix for "just a typo" or copy/paste error, but it probably requires > a CSR since it changes a normative > portion of the spec. Looks OK. ------------- PR: https://git.openjdk.java.net/jdk/pull/744
