On Wed, 5 Jan 2022 08:42:41 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > Following up on suggestion here: > https://github.com/openjdk/jdk/pull/6720#discussion_r778457819 Thank you! ------------- Marked as reviewed by serb (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/6964