Integrated: Merge openjdk/jdk:master

Fri Dec 15 18:31:46 UTC 2023

On Wed, 13 Dec 2023 20:32:34 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-23+1

This pull request has now been integrated.

Changeset: 0c6c5e4d
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/0c6c5e4d5b5bab3b62769cbfb86ea8dd28a347a8
Stats:     4872 lines in 98 files changed: 4828 ins; 0 del; 44 mod

Merge

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

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