On Wed, 18 Jun 2025 17:26:31 GMT, Kevin Rushforth <k...@openjdk.org> wrote:

> I will also need to merge master some time after #1832 is integrated, since 
> there will be a (trivial) merge conflict for me to resolve.

This is now merged. The trivial conflict was in the surrounding context, not 
the diffs themselves.

@tiainen @arapte Can you re-review?

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

PR Comment: https://git.openjdk.org/jfx/pull/1827#issuecomment-3050239003

Reply via email to