Integrated: CODETOOLS-7903226: Update version to 7.1

Fri Jul 1 23:48:59 UTC 2022

On Fri, 1 Jul 2022 19:31:18 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> jtreg 7 has been promoted and tagged.
> 
> The next version will be 7.1

This pull request has now been integrated.

Changeset: bb18a4fc
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/bb18a4fc4ecf3cbf68a0fff8f969d36cf263ed04
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7903226: Update version to 7.1

Reviewed-by: iris

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

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