Integrated: Merge openjdk/jdk:master

[William Kemper]

On Thu, 9 Nov 2023 14:09:32 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-22+23

This pull request has now been integrated.

Changeset: a9718c13
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/a9718c135cde2e7402a4051340e5fa91f08313ee
Stats:     12726 lines in 343 files changed: 6049 ins; 3383 del; 3294 mod

Merge

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

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