Integrated: Merge master

Tue Feb 13 17:14:14 UTC 2024

On Tue, 13 Feb 2024 16:06:37 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Merge master branch into the jdk21 branch, to archive it before merging jdk22 into master

This pull request has now been integrated.

Changeset: 0f87c6cd
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/0f87c6cdd5d63a7148deb38e16ed4de1306a4573
Stats:     291 lines in 11 files changed: 218 ins; 48 del; 25 mod

Merge

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

PR: https://git.openjdk.org/jextract/pull/206