On Mon, 24 Nov 2025 17:31:20 GMT, Viktor Klang <[email protected]> wrote:

> Adds the patch by @DougLea

Good work everyone :-)

-------------

PR Comment: https://git.openjdk.org/jdk/pull/28479#issuecomment-3572663953

Reply via email to