On Wed, 24 Jun 2020 19:53:48 GMT, Patrick Reinhart <reinhapa at openjdk.org> wrote: > Signed-off-by: Patrick Reinhart <patrick at reini.net> As mentioned earlier, the changes are ok for me! ------------- Marked as reviewed by neugens (Committer). PR: https://git.openjdk.java.net/jmc/pull/87