Re: [GIT RFC PULL rcu/urgent] Fix rcu-tasks compilation warning

[Paul E. McKenney]

On Mon, Sep 21, 2020 at 12:46:22PM -0700, Linus Torvalds wrote:
> On Mon, Sep 21, 2020 at 12:37 PM Paul E. McKenney <paulmck@xxxxxxxxxx> wrote:
> >
> > This bug was reported by Laurent Pinchart (CCed),
> > who would like it fixed sooner rather than later.
> 
> I'm assuming that sentence and me being cc'd means that you'd prefer
> to get this merged directly rather than go through the usual -tip
> shenanigans.

I was good either way, but I have reason to believe that Laurent deeply
appreciates the direct merge.  ;-)

> I've pulled it.

Thank you!

							Thanx, Paul