On Wed, 26 Jan 2022 08:42:46 GMT, Aleksey Shipilev <sh...@openjdk.org> wrote:

> This looks fine to me.

Thanks, Aleksey!

-------------

PR: https://git.openjdk.java.net/jdk/pull/7213

Reply via email to