On Sun, Jul 5, 2015 at 12:31 PM, Dirk Hohndel <dirk at hohndel.org> wrote: > > And of course you could just send a patch... you used to do that :-) Finishing up with the merge window right now, so maybe I'll even get around to it, Linus