On Mon, 10 Oct 2022 17:38:57 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> I think this looks good, but if Magnus is around to comment I would value his > input. I understand, @magicus would this be a reasonable change? ------------- PR: https://git.openjdk.org/jdk/pull/10634