Integrated: 7903943: Release jtreg 7.5.1

[Christian Stein]

On Tue, 4 Feb 2025 09:44:41 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review this change preparing the `7.5.1` release of `jtreg`.
> 
> The version number `7.6` will be restored on the main branch after the release; a dedidated `7.5.x` branch was not required, yet.
> 
> This change also updates the `CHANGELOG.md` file with noteworthy items. It also removes the detailed description of the now removed `LIBRARY.properties` support from the `7.5` section.

This pull request has now been integrated.

Changeset: 8e4d9b49
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/8e4d9b493d962f48365c1dcc4df2ea248031859a
Stats:     45 lines in 5 files changed: 9 ins; 32 del; 4 mod

7903943: Release jtreg 7.5.1

Reviewed-by: jpai, iris, rriggs

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

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