Integrated: Merge jdk20

Sat Jan 14 02:00:15 UTC 2023

On Sat, 14 Jan 2023 01:10:14 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 4be94e43
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4be94e435002d9d6cb594a393e9e35d650a9a0c9
Stats:     18 lines in 4 files changed: 5 ins; 3 del; 10 mod

Merge

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

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