On Wed, 6 Aug 2025 14:34:05 GMT, Severin Gehwolf <sgehwolf at openjdk.org> wrote: > This seems ok. Please integrate #3070 and merge master to get CI green. Thanks. Yup, merged, let's see. ------------- PR Comment: https://git.openjdk.org/jdk11u-dev/pull/3068#issuecomment-3160548959