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

[Linus Torvalds]

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've pulled it.

             Linus