Integrated: 7903436: Changes needed for jdk20-based makefile build

Fri Mar 10 13:30:34 UTC 2023

On Thu, 16 Feb 2023 21:49:41 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> These are the changes for jdk20-based makefile builds. Just 2 simple version bumps

This pull request has now been integrated.

Changeset: 0d184eca
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/0d184eca312be9c4f4addfef1988dfa8d115c9e6
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

7903436: Changes needed for jdk20-based makefile build

Reviewed-by: mcimadamore

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

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