Integrated: 7903388: Update version to 7.2

Thu Nov 17 17:50:00 UTC 2022

On Thu, 17 Nov 2022 17:04:16 GMT, Christian Stein <cstein at openjdk.org> wrote:

> The next promoted version will be 7.2

This pull request has now been integrated.

Changeset: 5bb172aa
Author:    Christian Stein <cstein at openjdk.org>
Committer: Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/5bb172aa0626e07b3511d097a70143d3f8ec91f2
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7903388: Update version to 7.2

Reviewed-by: jjg

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

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