On Tue, 14 Mar 2023 15:43:13 GMT, Naoto Sato <naoto at 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