On Wed, 22 Jun 2022 21:25:07 GMT, Jesper Wilhelmsson <jwilh...@openjdk.org> wrote:
> Forwardport JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 5b583e47 Author: Jesper Wilhelmsson <jwilh...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/5b583e4792b1d59891495a4a050fcdd4d38dfee1 Stats: 434 lines in 12 files changed: 379 ins; 22 del; 33 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9251