On Tue, 5 Jul 2022 10:39:21 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote: > This reverts commit c2f1359c46728e3787bf0b0316c8078edd63ff7b. Looks good ------------- Marked as reviewed by mcimadamore (Committer). PR: https://git.openjdk.org/jextract/pull/50