On Wed, Sep 5, 2018 at 9:31 AM Martin K. Petersen <[email protected]> wrote: > > > I reverted the two offending changes last week. James just hasn't sent > > Linus a pull request yet... > > Actually, he did earlier today.
And I've just pulled and pushed it out, so it's in my public tree now.
Thanks,
Linus
