Integrated: 7903999: Release jtreg 7.5.2

Mon May 19 16:00:12 UTC 2025

On Fri, 9 May 2025 09:31:02 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review this change preparing the `7.5.2` release of jtreg.
> 
> The version number `7.6` will be restored on the main branch after the release; a dedidated `7.5.x` branch is not required, yet.

This pull request has now been integrated.

Changeset: 05c67a77
Author:    Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/05c67a77fa8ae98cacbba0f8012df8bdf04105a7
Stats:     15 lines in 2 files changed: 13 ins; 0 del; 2 mod

7903999: Release jtreg 7.5.2

Reviewed-by: jlahoda

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

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