On Tue, 5 Jul 2022 11:06:49 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote: > This reverts commit 5e51e03329e11c0db977f58d698e1f8cc42b2463. Looks good ------------- Marked as reviewed by mcimadamore (Committer). PR: https://git.openjdk.org/jextract/pull/51