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. Linus