On Tue, 15 Nov 2022 07:05:33 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> > I know Skara, I'm deliberately holding off from integrating this for now... > > Why is that? I was trying to see if I could find and rework every site that could use touching up with this change in one fell swoop, but on second thought never mind, it's taking a bit too long to do that all at once ------------- PR: https://git.openjdk.org/jdk/pull/10634