On Fri, 20 Oct 2023 16:37:54 GMT, Jorn Vernee <jvernee at openjdk.org> wrote: > Port of https://github.com/openjdk/jextract/pull/106 for jdk 22 branch Marked as reviewed by mcimadamore (Committer). ------------- PR Review: https://git.openjdk.org/jextract/pull/133#pullrequestreview-1690885956