On Wed, 5 Jan 2022 08:42:41 GMT, Aleksey Shipilev <sh...@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

Reply via email to