Integrated: Merge jfx20

Tue Jan 24 15:14:36 UTC 2023

On Tue, 24 Jan 2023 15:01:57 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Merge `jfx20` branch into `master`.

This pull request has now been integrated.

Changeset: e710b558
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx/commit/e710b55812fbddf45e3e8069e91dd646ae397da8
Stats:     25 lines in 1 file changed: 25 ins; 0 del; 0 mod

Merge

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

PR: https://git.openjdk.org/jfx/pull/1010