Re: [GIT PULL] x86 fixes

From: Linus Torvalds
Date: Sat Nov 03 2018 - 21:28:01 EST


On Sat, Nov 3, 2018 at 4:09 PM Ingo Molnar <mingo@xxxxxxxxxx> wrote:
>
> A number of fixes and some late updates:

Pulled,

Linus