Re: [GIT PULL] scheduler fixes

Linus Torvalds
2018-11-04T01:39:16Z

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

Pulled,

Linus