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

Reply via email to