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