On Wed, 1 Mar 2023 21:20:18 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> I can't actually find that in the current release file, but that shouldn't > prevent us from adding the full version string. `JAVA_VERSION` is added by jlink and not in ReleaseFile.gmk. ------------- PR: https://git.openjdk.org/jdk/pull/12813