On Wed, 1 Mar 2023 20:28:14 GMT, Mandy Chung <mch...@openjdk.org> wrote:
> `$JAVA_HOME/release` file currently includes `JAVA_VERSION` which is the > version > number plus the pre-release identifier for example "21-ea". I can't actually find that in the current release file, but that shouldn't prevent us from adding the full version string. ------------- PR: https://git.openjdk.org/jdk/pull/12813