On Thu, Jul 12, 2018 at 9:59 PM Dirk Hohndel <dirk at hohndel.org> wrote: > > Can I get a commit for this, Linus? :-) Pull request done. Linus