On Wed, 15 Dec 2021 23:11:34 GMT, Sergey Bylokhov <serb at openjdk.org> wrote: >> Sure @mrserb , updated the PR. > > Not sure the "native" is needed in the new version, any other thoughts from anyone? Yeah, "native OS" and "OS" gives same meaning I guess.. ------------- PR: https://git.openjdk.java.net/jdk/pull/6780