On Thu, Sep 24, 2015 at 7:02 AM, Faré <fahree at gmail.com> wrote: > OK, I created a pull request on github. It also includes a bug fix as > compared to my previous email. Sorry, busy times. A pull request is indeed more convenient. Thanks! -- Luís Oliveira http://kerno.org/~luis/