On Tue, 9 May 2023 20:19:50 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
>> you are right, wrong PR, sorry >> https://github.com/openjdk/jdk/pull/12931 > > No, we can't use that. More to the point, it is unrelated to this PR (and > thus out of scope). But I do think it would be a good idea to use `PlatformUtil` here, so maybe file a cleanup issue to look for places where we explicitly parse `os.name`, and consider calling the appropriate `PlatformUtil` method instead? ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1130#discussion_r1189095379
