[jdk25u] Integrated: Merge jdk:jdk25

Tue Aug 5 21:02:16 UTC 2025

On Tue, 5 Aug 2025 20:54:23 GMT, Rob McKenna <robm at openjdk.org> wrote:

> Merge

This pull request has now been integrated.

Changeset: b40eb304
Author:    Rob McKenna <robm at openjdk.org>
URL:       https://git.openjdk.org/jdk25u/commit/b40eb304c46615c9c71d6c354684eadf8b048af2
Stats:     1288 lines in 31 files changed: 517 ins; 723 del; 48 mod

Merge

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

PR: https://git.openjdk.org/jdk25u/pull/66