Integrated: 7903460: Update version to 7.3

Fri Apr 21 05:45:06 UTC 2023

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

This pull request has now been integrated.

Changeset: 90f5cd3f
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/90f5cd3fddbb725ac4a74afd269be4ac02655631
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7903460: Update version to 7.3

Reviewed-by: jjg

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

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