Integrated: Merge openjdk/jdk:master

Thu Nov 10 17:56:12 UTC 2022

On Thu, 10 Nov 2022 00:19:55 GMT, William Kemper <wkemper at openjdk.org> wrote:

> This PR merges tag jdk-20+20

This pull request has now been integrated.

Changeset: a0b7ce0e
Author:    William Kemper <wkemper at openjdk.org>
URL:       https://git.openjdk.org/shenandoah/commit/a0b7ce0ebcbf7bdc239bc4859ba6003c0dab2e1a
Stats:     190495 lines in 1429 files changed: 96638 ins; 61219 del; 32638 mod

Merge openjdk/jdk:master

Reviewed-by: rkennke

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

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