On Mon, 24 Nov 2025 17:31:20 GMT, Viktor Klang <vklang at openjdk.org> wrote: > Adds the patch by @DougLea Good work everyone :-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/28479#issuecomment-3572663953