On Wed, 27 Jul 2022 05:29:09 GMT, David Holmes <dholmes at openjdk.org> wrote: > Forward port JDK 19 -> JDK 20 This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/9651