On Sun, 31 Oct 2021 22:51:11 +0000, Rui Salvaterra <rsalvaterra@xxxxxxxxx> wrote: > > Hi, Marc, > > Linux 5.15 has just been tagged, and this fix isn't included (I > personally don't mind, since I'm carrying it in my tree). Any specific > reason for it? Just being preempted with slightly higher priority stuff. I'll try to post the patches formally this week. I'm still a bit surprised that nobody else has reported such issue though. M. -- Without deviation from the norm, progress is not possible.