Integrated: Merge openjdk/jdk:master

Thu Oct 12 23:50:34 UTC 2023

On Thu, 12 Oct 2023 14:16:56 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-22+19

This pull request has now been integrated.

Changeset: 206e5b82
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/206e5b82f6a4eddc2513dd45da3ce3b657b4a8bc
Stats:     6567 lines in 136 files changed: 3827 ins; 1892 del; 848 mod

Merge

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

PR: https://git.openjdk.org/shenandoah/pull/338