Integrated: Merge jdk20

Sun Dec 25 01:59:52 UTC 2022

On Sun, 25 Dec 2022 01:43:21 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 19373b2f
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/19373b2ff0cd795afa262c17dcb3388fd6a5be59
Stats:     8 lines in 2 files changed: 5 ins; 0 del; 3 mod

Merge

-------------

PR: https://git.openjdk.org/jdk/pull/11788