Re: [GIT PULL] scheduler fixes

From: Linus Torvalds
Date: Sat Nov 03 2018 - 21:38:36 EST


On Sat, Nov 3, 2018 at 4:52 PM Ingo Molnar <mingo@xxxxxxxxxx> wrote:
>
> A memory (under-)allocation fix and a comment fix.

Pulled,

Linus