Integrated: Merge jdk:master

Mon May 23 10:30:12 UTC 2022

On Mon, 23 May 2022 10:09:58 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Manual merge of jdk:master into master

This pull request has now been integrated.

Changeset: 04f84d6c
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.java.net/panama-foreign/commit/04f84d6cf9abc37bf176673d4262e61e51338b23
Stats:     3711 lines in 124 files changed: 1796 ins; 1608 del; 307 mod

Merge

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

PR: https://git.openjdk.java.net/panama-foreign/pull/684