On Tue, Jun 12, 2018 at 3:27 PM Bjorn Helgaas <[email protected]> wrote: > > Sure, I'll update that branch and send a new pull request.
I already took the branch, it was more of a "please don't do this again".
Although even a post factum explanation might be a good idea.
Linus
