On Thu, 5 Feb 2026 14:54:44 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/jdk17u/pull/416