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/