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 -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html