On Thu, 16 Dec 2021 22:16:26 GMT, Mark Reinhold <m...@openjdk.org> wrote:

> Please review this tiny specification clarification.

Drat, used the wrong bug id.

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

PR: https://git.openjdk.java.net/jdk18/pull/39

Reply via email to