On Fri, 12 Sep 2025 12:25:23 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Follow up for JDK-8333446. Clean. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/3927