Integrated: Merge openjdk/jdk:master

[William Kemper]

On Fri, 11 Aug 2023 18:35:19 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merge tag jdk-22+10

This pull request has now been integrated.

Changeset: a4f6425e
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/a4f6425e80a16bdc81d2e5e2782adac158148fe6
Stats:     13151 lines in 635 files changed: 5121 ins; 4057 del; 3973 mod

Merge

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

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