On Thu, Sep 24, 2015 at 7:02 AM, Faré <fah...@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/
