On Mon, 7 Feb 2022 13:34:24 GMT, Claes Redestad <redes...@openjdk.org> wrote:

> Looks reasonable.

Thanks. Any more reviews needed, or I am pushing?

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

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

Reply via email to