* Mathieu Desnoyers <[email protected]> wrote:
> ----- 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.
Sorry about the delays, I will handle your patches with priority tomorrow!
Thanks,
Ingo
