On Sun, 20 Nov 2022 20:17:35 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > The necessary version bump. To be pushed after tag jdk-17.0.7+0. Marked as reviewed by shade (Reviewer). ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/904