Re: [GIT PULL] perf fixes

From: Ingo Molnar
Date: Fri Oct 05 2018 - 05:55:31 EST



* Ingo Molnar <mingo@xxxxxxxxxx> wrote:

> Linus,

... and Greg as well!! ;-)

Thanks,

Ingo

ps. script fixed.