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