[jfx25u] Integrated: Merge jfx:jfx25

Thu Aug 14 13:35:19 UTC 2025

On Thu, 14 Aug 2025 13:24:14 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 87adc616
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx25u/commit/87adc616534c037ac1fd961e98001d2981ed3f71
Stats:     64 lines in 2 files changed: 54 ins; 3 del; 7 mod

Merge

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

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