On Wed, Mar 9, 2022 at 2:11 PM Nathan Chancellor <nathan@xxxxxxxxxx> wrote: > > It would be nice if this could be applied directly to unblock our CI if > there are no objections. Applied. Greg - yet another small fixup. It's commit 36168e387fa7 in my tree. Linus