Integrated: Bring jdk20 branch in sync with panama branch

Wed Mar 22 14:30:37 UTC 2023

On Wed, 22 Mar 2023 11:50:28 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR brings fixes from `panama` branch back to the `jdk20` branch.
> We are doing this as part of getting ready to start shipping binary snapshot of the jdk20 version of jextract.

This pull request has now been integrated.

Changeset: 2db309fd
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/2db309fd7a96722be58260e817a7d11a2a8e2e92
Stats:     447 lines in 18 files changed: 310 ins; 83 del; 54 mod

Bring jdk20 branch in sync with panama branch

Reviewed-by: jvernee

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

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