Revision history  [back]

Thanks, I've applied your change (in the git repo), but did not test it. Could you try?

It might be easier to make a fix on github and make a pull request.