On Fri, 18 Jun 2021 11:03:16 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > These updates follow the recent JCStress Workshop and fix issues discovered there. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jcstress/pull/81