On Thu, 14 Jul 2022 13:02:21 GMT, Jesper Wilhelmsson <jwilh...@openjdk.org> wrote:
> Forwardport JDK 19 -> JDK 20 This pull request has now been integrated. Changeset: 3ad39505 Author: Jesper Wilhelmsson <jwilh...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/3ad39505605f8eab74adec9c68f211dd44796759 Stats: 242 lines in 11 files changed: 232 ins; 2 del; 8 mod Merge ------------- PR: https://git.openjdk.org/jdk/pull/9493