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

Pulled,

                 Linus

Reply via email to