Integrated: Merge openjdk/jdk:master

[William Kemper]

On Thu, 28 Dec 2023 14:09:26 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-23+3

This pull request has now been integrated.

Changeset: 303b0ea7
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/303b0ea73fa165ec8159917e76da5437fdfb6670
Stats:     16951 lines in 422 files changed: 12695 ins; 2850 del; 1406 mod

Merge

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

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