On Fri, 25 Mar 2022 15:34:23 GMT, Weijun Wang <[email protected]> wrote:

> Some spec cleanup.

Marked as reviewed by mullan (Reviewer).

-------------

PR: https://git.openjdk.java.net/jdk/pull/7961

Reply via email to