On 01.12.22 06:38, David Rowley wrote:
> If this was going to cause huge conflicts with Peter's patch then I
> might think differently. I feel like it's a fairly trivial task to
> rebase.
>
> If the consensus is that we should fix this afterwards, then I'm happy to delay.
If we are happy with this patch, then it's okay with me if you push this
first. I'll probably need to do another pass over my patch anyway, so a
bit more work isn't a problem.