<i18n dev> Integrated: Merge jdk19

Wed Jun 29 23:37:38 UTC 2022

On Wed, 29 Jun 2022 19:38:59 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote:

> Forwardport JDK 19 -> JDK 20

This pull request has now been integrated.

Changeset: 048bffad
Author:    Jesper Wilhelmsson <jwilhelm at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/048bffad79b302890059ffc1bc559bfc601de92c
Stats:     116 lines in 4 files changed: 102 ins; 2 del; 12 mod

Merge

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

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