[jfx25u] Integrated: Merge jfx:jfx25

Wed Sep 24 00:24:51 UTC 2025

On Wed, 24 Sep 2025 00:15:30 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Clean merge from `jfx:jfx25` into `master`.

This pull request has now been integrated.

Changeset: 1ebaeba8
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx25u/commit/1ebaeba84d143d31e857e8ee41d614cd135492c7
Stats:     150 lines in 1 file changed: 150 ins; 0 del; 0 mod

Merge

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

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