On Mon, 28 Nov 2022 06:28:50 GMT, David Holmes <dholmes at openjdk.org> wrote: >> Looks good. > > Thanks @TobiHartmann ! @dholmes-ora Thank you for backporting this important fix! ------------- PR: https://git.openjdk.org/jdk19u/pull/97