RFR: 7033: Allow overriding the id (name) of the event type

Gunnar Morling github.com+28612+gunnarmorling at openjdk.java.net
Mon Jan 4 16:40:03 UTC 2021


On Mon, 14 Dec 2020 12:33:53 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

>> Ok, cool. I'll update this PR along those lines then.
>
> Hi @gunnarmorling - if you're low on time, I'd be happy to fix this.

@thegreystone Just rebased and applied this one.

-------------

PR: https://git.openjdk.java.net/jmc/pull/170


More information about the jmc-dev mailing list