On Mon, 19 Oct 2020 18:08:28 GMT, Stuart Marks <sma...@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. Approved. ------------- Marked as reviewed by bpb (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/744