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. Thanks Jorn for the review ------------- PR Comment: https://git.openjdk.org/jextract/pull/291#issuecomment-3334232534