[master] Integrated: Merge jdk:jdk-23+7

[Roman Kennke]

On Thu, 25 Jan 2024 18:02:20 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

> Let's merge latest tag jdk-23+7.

This pull request has now been integrated.

Changeset: 96b3ad6d
Author:    Roman Kennke <rkennke at openjdk.org>
URL:       https://git.openjdk.org/lilliput/commit/96b3ad6d5ad84d64d104b822645ddd6e9b9c3d97
Stats:     63187 lines in 1643 files changed: 40567 ins; 15309 del; 7311 mod

Merge jdk:jdk-23+7

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

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