On Fri, 15 Dec 2023 15:34:50 GMT, Lei Zaakjyu <duke at openjdk.org> wrote: > 8274051: remove supports_vtime() This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/17125