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

[Laurent Pinchart]

On Mon, Sep 21, 2020 at 01:35:34PM -0700, Paul E. McKenney wrote:
> 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.  ;-)

It fixed a compilation breakage introduced in v5.9 for one of my boards,
so yes :-) Thank you.

> > I've pulled it.
> 
> Thank you!

-- 
Regards,

Laurent Pinchart