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