Integrated: Merge openjdk/jdk:master

Wed Nov 30 18:06:52 UTC 2022

On Tue, 29 Nov 2022 23:03:14 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Merge tag jdk-20+25

This pull request has now been integrated.

Changeset: f90a7701
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/f90a77016d934dd06b6e9cff000b35e00778834e
Stats:     44630 lines in 581 files changed: 16639 ins; 16876 del; 11115 mod

Merge openjdk/jdk:master

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

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