Continuing the discussion from Please accept the pull request:
What is going on?
They're trying to get a pull request merged, which I'm 99% sure is not gonna get merged anytime soon (plus, discussing pull requests should be on github, not the forum).
I personally wouldn't say anything until jens gets online, because I just know he'll get annoyed.
Yes, correct on all points. :~)