On Tue, 5 Nov 2024 22:48:12 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Seems to be an acceptable solution across tools. Marked as reviewed by aptmac (Reviewer). ------------- PR Review: https://git.openjdk.org/jmc/pull/606#pullrequestreview-2417022976