On Thu, 7 May 2020 15:44:05 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > What the title says. LGTM! Don't forget to add something to the PR body. ------------- Marked as reviewed by hdafgard (Reviewer). PR: https://git.openjdk.java.net/jmc/pull/74