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 Marked as reviewed by mcimadamore (Committer). ------------- PR: https://git.openjdk.org/jextract/pull/107