On Fri, 20 Oct 2023 14:37:20 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Follow-up to JDK-8254711. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk11u-dev/pull/2203