On Mon, 30 Oct 2023 20:54:43 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
> I added a [ticket](https://bugs.openjdk.org/browse/JDK-8319140) in JBS Thank you! ------------- PR Comment: https://git.openjdk.org/jfx/pull/1014#issuecomment-1786031436
