On Tue, 14 Mar 2023 15:43:13 GMT, Naoto Sato <na...@openjdk.org> wrote:

> Fixed this one as well

Spec update looks good. I suppose I have to use an emoji to react to that 👍

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

PR: https://git.openjdk.org/jdk/pull/13006

Reply via email to