On Tue, 28 Sep 2021 19:26:11 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Thanks, Kevin! (How did you pick this out from my many PRs?) I just happened to spot it as it went by. ------------- PR: https://git.openjdk.java.net/jdk11u-dev/pull/439