On Mon, 10 Oct 2022 17:38:57 GMT, Erik Joelsson <erikj at 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