On Tue, Sep 24, 2019 at 04:26:48PM -0700, Linus Torvalds wrote: > On Tue, Sep 24, 2019 at 4:23 PM Linus Torvalds > <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > > > > I _think- that should be the simpler correct > > fix, but I'll leave it to Luc to think about it more. > > Side note: I don't think I've seen anything from Luc on the git list > since April, and the last commit is early April too. It may be that > sparse has lost its maintainer.. Sorry, I just had some issues and I'm stil catching up. -- Luc