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
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