On Fri, Nov 5, 2021 at 1:57 PM Nadav Amit <namit@xxxxxxxxxx> wrote: > > Hugh correctly indicated that I made a silly bug, and this patch is not > healping. > > Nothing would explode, but I assumed the patch would be dropped for me > to submit v2. > > I’ll send a fix to this fix instead unless it is dropped. I've dropped it. Linus