On Mon, Feb 5, 2018 at 10:53 AM, Mathieu Desnoyers <[email protected]> wrote: > > I indeed have a git tree setup. The URL is in the pull request I sent you this > morning.
Yeah, too much email, so I hadn't gotten to that yet...
> But I favor letting it go through Ingo's scheduler tree and benefit from the
> extra
> bit of automated testing this could add.
Ok, good. I'll ignore your pull and expect it all from Ingo. Thanks,
Linus
