Integrated: 7903518: Release jtreg 7.3.1

Tue Aug 15 15:29:37 UTC 2023

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.

This pull request has now been integrated.

Changeset: 07c69427
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/07c6942786b6f61ab94bc289d3004ef80b1c15da
Stats:     6 lines in 2 files changed: 4 ins; 0 del; 2 mod

7903518: Release jtreg 7.3.1

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jtreg/pull/168