On Wed, 15 Dec 2021 10:25:37 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Merge build tag 11.0.13+7 from jdk11u to jdk11u-dev Marked as reviewed by mdoerr (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk11u-dev/pull/720