On Mon, Feb 13, 2017 at 10:00 AM, Peter Zijlstra <[email protected]> wrote: > > I think Linus' email ended up being private; not much discussion other > than him saying he would like to see this.
I ended up reacting to the tipbot email, so I just replied to whoever
were on the cc list there, I guess.
Linus
