On Tue, 14 Oct 2025 19:27:40 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > #27676 has been integrated which requires resolution. > Thanks, merged with latest master. ------------- PR Comment: https://git.openjdk.org/jdk/pull/27802#issuecomment-3403481837