On Fri, Oct 05, 2018 at 11:55:24AM +0200, Ingo Molnar wrote: > > * Ingo Molnar <[email protected]> wrote: > > > Linus, > > ... and Greg as well!! ;-)
Heh, not a big deal :) Now merged, thanks. greg k-h
On Fri, Oct 05, 2018 at 11:55:24AM +0200, Ingo Molnar wrote: > > * Ingo Molnar <[email protected]> wrote: > > > Linus, > > ... and Greg as well!! ;-)
Heh, not a big deal :) Now merged, thanks. greg k-h