On Fri, 25 Mar 2022 15:34:23 GMT, Weijun Wang <wei...@openjdk.org> wrote:

> Some spec cleanup.

Marked as reviewed by mullan (Reviewer).

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

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

Reply via email to