mercedes508 wrote (18 Sep 2012 20:09:41 GMT) : > I gave it a try, which can be seen & merged from here :
> commit ebe9464db5bdaf422cb1b9b801df2566ff6328cf
This branch contains a few more changes than merely a fix for
this issue. Does the pull request still holds?