Integrated: Merge openjdk/jdk:master

Tue Dec 6 16:48:37 UTC 2022

On Mon, 5 Dec 2022 23:16:57 GMT, William Kemper <wkemper at openjdk.org> wrote:

> Weekly merge from upstream. Looks fine in testing.

This pull request has now been integrated.

Changeset: 6ce5f226
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/6ce5f226c9110a7c0262c02d86d2ac7539a4a81d
Stats:     15750 lines in 611 files changed: 10080 ins; 3270 del; 2400 mod

Merge openjdk/jdk:master

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

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