RFR: 8303485: Replacing os.name for operating system customization [v6]

[Michael Osipov]

On Fri, 24 Mar 2023 17:01:37 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> That is acceptable, totally.
>
> Not the rabbit-hole I expected to go down today or for an informal comment on an internal API.
> I have no skin in that game.
> https://www.redhat.com/en/topics/linux/what-is-linux

Joke, they should know it better especially because they use the registered trademark symbol. Really surprising.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147855868