On Wed, 24 Sep 2025 14:13:24 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote: > A simple version change, since JDK 25 was released. I think you have the wrong bug ID ------------- Marked as reviewed by jvernee (Reviewer). PR Review: https://git.openjdk.org/jextract/pull/291#pullrequestreview-3263909832