Pull request

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. :~)