On Tue, 20 Dec 2022 12:11:33 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Haha. I did 7996 at the same time. :) :) Will take Yours 7996. I will close my PR. ------------- PR: https://git.openjdk.org/jmc/pull/459