* Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > 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. Yes, I'll apply them - and I'd feel better if this went through the scheduler tree, because there's been significant review feedback both from PeterZ and from Thomas. If it passes all testing then I'll send it to you tomorrow at the latest. Thanks, Ingo -- 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
