On Tue, 8 Dec 2020 13:57:05 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > See the bug report for details. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.java.net/jmh/pull/12