Re: [GIT PULL] scheduler fixes

[Linus Torvalds]

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

Pulled,

                 Linus