[jdk11u-dev] Integrated: 8295641: Fix DEFAULT_PROMOTED_VERSION_PRE=ea for -dev

Wed Oct 19 08:25:59 UTC 2022

On Wed, 19 Oct 2022 08:01:52 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote:

> Properly set promoted version.

This pull request has now been integrated.

Changeset: 54651057
Author:    Goetz Lindenmaier <goetz at openjdk.org>
URL:       https://git.openjdk.org/jdk11u-dev/commit/54651057b825c3c427a27ae85f5683d09d565871
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
Backport-of: 2f2b914794fd6fa6bf33fe49620e91bff1103f49

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

PR: https://git.openjdk.org/jdk11u-dev/pull/1464