On Fri, 20 Oct 2023 14:37:20 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Follow-up to JDK-8254711. I include this in 2202. ------------- PR Comment: https://git.openjdk.org/jdk11u-dev/pull/2203#issuecomment-1774586106