Integrated: 7903512: Update changelog for jtreg 7.3

Thu Jul 27 15:15:09 UTC 2023

On Wed, 26 Jul 2023 15:27:23 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review this update to the changelog for jtreg 7.3.
> 
> This commit also tidies up the **display names** of the version headers: from `7.1.1+1` to a more human-readable form of `7.1.1`. The underlying tag names are kept as-is.

This pull request has now been integrated.

Changeset: e8a79680
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/e8a796803490f83da6893112af8f487489f4a349
Stats:     34 lines in 1 file changed: 16 ins; 8 del; 10 mod

7903512: Update changelog for jtreg 7.3

Reviewed-by: jjg

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

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