On Mon, 27 Jun 2022 23:54:25 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
>> I could have left it alone, but these things bother me... > > Since this is a 3rd-party file, it's probably best to fix it separately the > next time we update it, though. good point. ------------- PR: https://git.openjdk.org/jfx/pull/804
