Re: [GIT PULL] perf fixes
From: Greg Kroah-Hartman
Date: Fri Oct 05 2018 - 19:30:27 EST
On Fri, Oct 05, 2018 at 11:55:24AM +0200, Ingo Molnar wrote:
>
> * Ingo Molnar <mingo@xxxxxxxxxx> wrote:
>
> > Linus,
>
> ... and Greg as well!! ;-)
Heh, not a big deal :)
Now merged, thanks.
greg k-h