[master] Integrated: Merge jdk:jdk-22+25

Wed Nov 22 17:23:06 UTC 2023

On Wed, 22 Nov 2023 11:51:21 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

> Let's merge latest upstream tag.

This pull request has now been integrated.

Changeset: c11d6476
Author:    Roman Kennke <rkennke at openjdk.org>
URL:       https://git.openjdk.org/lilliput/commit/c11d6476a4d68ba8a05ef28c444ac22cc1388ca6
Stats:     704267 lines in 3572 files changed: 132106 ins; 492081 del; 80080 mod

Merge jdk:jdk-22+25

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

PR: https://git.openjdk.org/lilliput/pull/119