On Mon, 13 Mar 2023 05:49:27 GMT, David Holmes <dholmes at openjdk.org> wrote: > This fix seems correct - thanks. Thanks @dholmes-ora for reviewing the changes. ------------- PR: https://git.openjdk.org/jdk/pull/12970