[jfx25u] Integrated: Merge jfx:jfx25

Tue Jul 29 12:52:08 UTC 2025

On Tue, 29 Jul 2025 12:42:41 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Clean merge of `jfx:jfx25` into `jfx25u:master`.

This pull request has now been integrated.

Changeset: dd83b798
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx25u/commit/dd83b798293680712eb28b42a6af44d105774db7
Stats:     685 lines in 26 files changed: 324 ins; 264 del; 97 mod

Merge

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

PR: https://git.openjdk.org/jfx25u/pull/3