----- On Feb 5, 2018, at 12:23 PM, Linus Torvalds [email protected] wrote:
> On Mon, Feb 5, 2018 at 8:33 AM, Ingo Molnar <[email protected]> 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. 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
