On Thu, 20 Apr 2023 08:05:12 GMT, Christian Stein <cstein at openjdk.org> wrote: > The next promoted version of jtreg will be 7.3 These one-bit changes are hard to review (NOT) ------------- Marked as reviewed by jjg (Lead). PR Review: https://git.openjdk.org/jtreg/pull/151#pullrequestreview-1394324277