On Wed, 27 Jul 2022 12:59:36 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Forward port JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 92346246 Author: David Holmes <dhol...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/923462467e52eda359249a4fb61d654f56182603 Stats: 134 lines in 4 files changed: 67 ins; 52 del; 15 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9656