Integrated: Merge openjdk/jdk:master

Mon Nov 27 20:34:29 UTC 2023

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

> Merges tag jdk-22+25

This pull request has now been integrated.

Changeset: baa7b18e
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/baa7b18ee6c9872be65db1078bb1d1101baa14a9
Stats:     15946 lines in 483 files changed: 8945 ins; 3487 del; 3514 mod

Merge

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

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