On Tue, 14 Feb 2023 14:59:30 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Trivial removing dead code. Removing an `os` API can be controversial (even if it's unused), so I kept it outside of this gc-only PR. ------------- PR: https://git.openjdk.org/jdk/pull/12559