On Tue, 21 Feb 2023 21:41:29 GMT, Eirik Bjorsnos <duke at openjdk.org> wrote: > Thanks for the quick turnaround Naoto. I'll find a suitable way to punish myself for this one! Thanks for the quick fix 🙂 ------------- PR: https://git.openjdk.org/jdk/pull/12701