On Fri, 3 Feb 2023 07:53:09 GMT, Richard Reingruber <rrich at openjdk.org> wrote: > > I'll put the fix through our CI testing. Thanks, Richard. > > Test results are good. Thanks for verifying the fix. ------------- PR: https://git.openjdk.org/jdk/pull/12383