Integrated: Merge jfx19

Tue Jul 19 22:52:03 UTC 2022

On Tue, 19 Jul 2022 22:14:51 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Merge `jfx19` into `master`.

This pull request has now been integrated.

Changeset: 146dfeb8
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx/commit/146dfeb89213d74d469766708f14690e0ed435dc
Stats:     41 lines in 5 files changed: 39 ins; 0 del; 2 mod

Merge

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

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