Integrated: Merge openjdk/jdk:master

Thu Aug 31 16:17:41 UTC 2023

On Thu, 31 Aug 2023 08:16:08 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-22+13

This pull request has now been integrated.

Changeset: 08518465
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/085184652f43e68cc91c057b9066d701773100df
Stats:     7855 lines in 278 files changed: 5615 ins; 927 del; 1313 mod

Merge

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

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