On Thu, 24 Jun 2021 00:36:38 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: > Forwardport JDK 17 -> JDK 18 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jdk/pull/4579