Integrated: Merge jdk:master

Mon Oct 23 11:54:14 UTC 2023

On Mon, 23 Oct 2023 11:45:07 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Manual merge of jdk:master into master to pull in some of the changes from Friday afternoon, namely: https://github.com/openjdk/jdk/commit/8065233e8b8976929e1975c9a74cf70bf3485ae2

This pull request has now been integrated.

Changeset: 25af5aea
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/panama-foreign/commit/25af5aeadea594bf34e895c1aca4aec9e9ca0f20
Stats:     2921 lines in 160 files changed: 1893 ins; 483 del; 545 mod

Merge

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

PR: https://git.openjdk.org/panama-foreign/pull/912