24 Sep
2015
24 Sep
'15
9:22 a.m.
On Thu, Sep 24, 2015 at 7:02 AM, Faré <fahree@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/