Integrated: Update jextract 21 with latest fixes

Mon Nov 27 11:47:40 UTC 2023

On Mon, 20 Nov 2023 18:29:19 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR brings three changesets to the `master` branch, so that we can release updated binaries:
> 
> * https://git.openjdk.org/jextract/pull/132
> * https://git.openjdk.org/jextract/pull/131
> * https://github.com/openjdk/jextract/pull/137

This pull request has now been integrated.

Changeset: 8730fcf0
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/8730fcf05c229d035b0db52ee6bd82622e9d03e9
Stats:     161 lines in 8 files changed: 158 ins; 0 del; 3 mod

Update jextract 21 with latest fixes

Reviewed-by: jvernee

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

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