On Thu, 7 Jul 2022 20:14:12 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: > Forwardport JDK 19 -> JDK 20 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/9415