On Tue, 15 Aug 2023 08:19:17 GMT, Christian Stein <cstein at openjdk.org> wrote: > Please review this change to release jtreg 7.3.1 - the GIT tag `jtreg-7.3.1+1` will be added to the commit created by merging this PR. Marked as reviewed by jjg (Lead). ------------- PR Review: https://git.openjdk.org/jtreg/pull/168#pullrequestreview-1578804222