On Fri, 23 Jun 2023 17:05:19 GMT, Naoto Sato <na...@openjdk.org> wrote:
>> I'll run our CI, and if all good, I'll approve this PR. If nothing else, >> this change seems reasonable and correct. > > Thanks Pavel for jumping in. I too think this change looks good. Yep; all good. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12328#discussion_r1240336318
