On Fri, 24 Mar 2023 17:01:37 GMT, Roger Riggs <rri...@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