On Fri, 10 Mar 2023 03:51:05 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > This looks good. Thank you for catching and taking care about it! Serguei > Thanks for the review Serguei! ------------- PR: https://git.openjdk.org/jdk/pull/12956