On Wed, 27 Apr 2022 22:56:08 GMT, Weijun Wang <[email protected]> wrote:

>  please change them to use `othervm`.

Thanks for the catch. Updated to use othervm.

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

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

Reply via email to