[jdk17u-dev] Integrated: 8295641: Fix DEFAULT_PROMOTED_VERSION_PRE=ea for -dev
Goetz Lindenmaier
goetz at openjdk.org
Wed Oct 19 07:52:07 UTC 2022
On Wed, 19 Oct 2022 07:36:15 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:
> Trivial fix to version after integrating from jdk17u to jdk17u-dev
This pull request has now been integrated.
Changeset: 2f2b9147
Author: Goetz Lindenmaier <goetz at openjdk.org>
URL: https://git.openjdk.org/jdk17u-dev/commit/2f2b914794fd6fa6bf33fe49620e91bff1103f49
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
8295641: Fix DEFAULT_PROMOTED_VERSION_PRE=ea for -dev
Reviewed-by: clanger
-------------
PR: https://git.openjdk.org/jdk17u-dev/pull/805
More information about the jdk-updates-dev
mailing list