On Tue, 28 May 2024 08:09:41 GMT, Florian Kirmaier <fkirma...@openjdk.org> wrote:
> I can confirm that this change fixes a Problem for more users. Actually, i > have a built with exactly the same change. So if this doesn't break anything, > it would be great to see this integrated. Feel free to approve if you think the patch is good to go. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1459#issuecomment-2137251075