* Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > On Wed, Jan 29, 2020 at 4:02 AM Paul E. McKenney <paulmck@xxxxxxxxxx> wrote: > > > > Hello, Ingo, > > > > This pull request contains a single commit that fixes an embarrassing > > bug discussed here: > > Ingo, just FYI: I'll just take this pull directly, just to avoid > having the warning in my current tree. Thanks! Ingo
