jmx-dev Integrated: Merge jdk20

Wed Feb 1 22:39:33 UTC 2023

On Wed, 1 Feb 2023 19:43:51 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 20 -> JDK 21

This pull request has now been integrated.

Changeset: d6832121
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/d6832121b718d40df263da6e2f9261dee2c4c508
Stats:     158 lines in 2 files changed: 145 ins; 0 del; 13 mod

Merge

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

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