Integrated: Merge jdk20

Wed Mar 22 14:53:43 UTC 2023

On Wed, 22 Mar 2023 14:37:19 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR merges the contents of `jdk20` into `master`. This means that JDK 20 will now become the "default" (and will be used as a basis for generation of binary snapshots).

This pull request has now been integrated.

Changeset: 7c3d26a0
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/7c3d26a03fe3a2de941c8f74699e860826781702
Stats:     9726 lines in 215 files changed: 6368 ins; 795 del; 2563 mod

Merge

Reviewed-by: jvernee

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

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