On Wed, 15 Dec 2021 19:29:55 GMT, Pavel Kharskii <duke at openjdk.java.net> wrote: > Bump version numbers for JDK 18.0.1 Fir reasons that aren't at all clear to me, he closed this one and opened a new PR -- #2 ------------- PR: https://git.openjdk.java.net/jdk18u/pull/1