On Wed, 4 May 2022 17:35:13 GMT, Weijun Wang <wei...@openjdk.org> wrote:

> Please merge your PR with master and I can run it for you.

Merged.  Thank you!

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

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

Reply via email to