Integrated: 7904085: Changes needed for jdk25-based makefile build

Thu Sep 25 14:41:47 UTC 2025

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.

This pull request has now been integrated.

Changeset: d41a3780
Author:    Nizar Benalla <nbenalla at openjdk.org>
Committer: Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/d41a378096a655ad95f0aa752eb8177db0f32775
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7904085: Changes needed for jdk25-based makefile build

Reviewed-by: jvernee

-------------

PR: https://git.openjdk.org/jextract/pull/291