On Mon, 29 Jun 2020 11:31:41 GMT, Johan Vos <[email protected]> wrote:
>> Fixes [JDK-8201570](https://bugs.openjdk.java.net/browse/JDK-8201570). > > This fixes a bug that currently didn't cause any harm > (https://bugs.openjdk.java.net/browse/JDK-8201570?focusedCommentId=14172176) > , but it's better to fix it now. @jgneff you can proceed with this and integrate it. Once you do that, I'll sponsor the commit. ------------- PR: https://git.openjdk.java.net/jfx/pull/257
