On Mon, 19 Oct 2020 18:08:28 GMT, Stuart Marks <smarks at openjdk.org> 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