Re: [PATCH for 4.16 00/11] membarrier updates for 4.16

From: Linus Torvalds
Date: Mon Feb 05 2018 - 12:23:34 EST


On Mon, Feb 5, 2018 at 8:33 AM, Ingo Molnar <mingo@xxxxxxxxxx> wrote:
>
> Yeah, I wanted to apply these bits later today with some minor edits - unless you
> are going to pull it directly.

I have not pulled yet, I wanted to check. But I do want to get it merged.

It gets easier for me if I can just pull.

Mathieu, do you have a git tree? I don't think I've pulled from you,
so in that sense it's more convenient for me if it goes through Ingo.

But if you have a git tree already set up, just holler.

Linus