On Wed, 31 Aug 2022 07:15:33 GMT, Per Minborg <pminborg at openjdk.org> wrote: > This small PR incorporated feedback from the original PR: https://github.com/openjdk/jextract/pull/66 made after it was integrated. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jextract/pull/68