On Thu, 27 Jul 2023 15:36:18 GMT, Christian Stein <cstein at openjdk.org> wrote: > Update jtreg's version to 7.4 Tough one; have to think long and hard about this ... ------------- Marked as reviewed by jjg (Lead). PR Review: https://git.openjdk.org/jtreg/pull/163#pullrequestreview-1550165261