On Mon, 24 Nov 2025 20:47:19 GMT, kabutz <duke at openjdk.org> wrote: >> Adds the patch by @DougLea > > Good work everyone :-) Thanks for reporting, @kabutz! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28479#issuecomment-3573042033