On Wed, 12 Feb 2020 12:10:43 GMT, Miroslav Wengner <mwengner at openjdk.org> wrote: >> ticket: https://bugs.openjdk.java.net/browse/JMC-6687 > > The pull request has been updated with 1 additional commit. Marked as reviewed by hirt (Lead). ------------- PR: https://git.openjdk.java.net/jmc/pull/50