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