On Thu, 19 May 2022 12:09:49 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > The necessary version change. > Will be pushed on June 1st after tag jdk-17.0.5+0. Marked as reviewed by mdoerr (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk17u-dev/pull/407