On Wed, 27 Apr 2022 22:56:08 GMT, Weijun Wang <wei...@openjdk.org> 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