On Wed, 19 Oct 2022 08:01:52 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > Properly set promoted version. Marked as reviewed by clanger (Reviewer). ------------- PR: https://git.openjdk.org/jdk11u-dev/pull/1464