Please merge pull request 4 in
there doesn't seem to be a way to comment on one's own pull request hence I'm opening a ticket.
Can you please merge pull request no. 4 in?
It's really trivial, has been sitting in there for 4 months now and blocks my work in another project.
Won't take you more than 5 minutes :-)