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 Marked as reviewed by erikj (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/6964