Integrated: Merge jdk:master

Wed Jun 14 14:38:50 UTC 2023

On Wed, 14 Jun 2023 14:25:39 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Manual merge of jdk:master into master to pull in some of the changes from earlier this week (most notably https://github.com/openjdk/panama-foreign/commit/a6ad42e00eaa1c1a476df9fac399f16de53a7a8b)

This pull request has now been integrated.

Changeset: b16e4c86
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/panama-foreign/commit/b16e4c86a8619ba35a0b96d2e5f7fc52488c62ea
Stats:     13365 lines in 451 files changed: 4164 ins; 7691 del; 1510 mod

Merge

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

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