Integrated: Merge jdk20

Thu Jan 12 22:28:23 UTC 2023

On Thu, 12 Jan 2023 20:57:49 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: 98870472
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/98870472282a76be14acb2dfba483c97359dabba
Stats:     12 lines in 3 files changed: 10 ins; 0 del; 2 mod

Merge

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

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