On Thu, 13 Oct 2022 15:32:10 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > What it says. Better. :) ------------- PR: https://git.openjdk.org/jmc/pull/441