On Thu, 7 Jul 2022 22:31:27 GMT, Jesper Wilhelmsson <jwilh...@openjdk.org> wrote:
> Forwardport JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 01b9f95c Author: Jesper Wilhelmsson <jwilh...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/01b9f95c62953e7f9ca10eafd42d21c634413827 Stats: 807 lines in 28 files changed: 669 ins; 52 del; 86 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9419