On Thu, 5 Feb 2026 15:00:35 GMT, Thomas Devoogdt <duke at openjdk.org> wrote: > https://github.com/openjdk/jdk/commit/1069ccebcc32e02055985e2babfa2986a2e295ca This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk21u/pull/483