On Mon, Feb 5, 2018 at 10:53 AM, Mathieu Desnoyers <mathieu.desnoyers@xxxxxxxxxxxx> 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 -- 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