----- On Feb 5, 2018, at 12:23 PM, Linus Torvalds torvalds@linux-foundation.org wrote:
On Mon, Feb 5, 2018 at 8:33 AM, Ingo Molnar [off-list ref] wrote:
quoted
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.
I indeed have a git tree setup. The URL is in the pull request I sent you this
morning.
But I favor letting it go through Ingo's scheduler tree and benefit from the extra
bit of automated testing this could add.
Thanks to you both,
Mathieu
Linus
--
Mathieu Desnoyers
EfficiOS Inc.
http://www.efficios.com