Integrated: Merge openjdk/jdk:master

Fri Aug 25 23:04:57 UTC 2023

On Fri, 25 Aug 2023 22:47:36 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merges tag jdk-22+12

This pull request has now been integrated.

Changeset: c31a1357
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/c31a135760945c5fd5c182c6c531001286554643
Stats:     6127 lines in 348 files changed: 4249 ins; 734 del; 1144 mod

Merge

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

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