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 <[email protected]> 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
