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
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