On Thu, 17 Nov 2022 17:04:16 GMT, Christian Stein <cstein at openjdk.org> wrote: > The next promoted version will be 7.2 Marked as reviewed by jjg (Lead). ------------- PR: https://git.openjdk.org/jtreg/pull/138