On Tue, Jun 12, 2018 at 3:27 PM Bjorn Helgaas <helgaas@xxxxxxxxxx> 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
