On Thu, 13 Oct 2022 14:47:59 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote: > removed redundant cast Marked as reviewed by minborg at github.com (no known OpenJDK username). ------------- PR: https://git.openjdk.org/jextract/pull/87