On Mon, Jul 14, 2025 at 5:28 PM Tamir Duberstein <tamird at gmail.com> wrote: > > Yep, that's what I was going to do - but do I resend the whole series, > or somehow just this patch? Whole series is simpler, I think. Cheers, Miguel