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

From: Linus Torvalds
Date: Mon Sep 21 2020 - 15:46:43 EST

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

I've pulled it.