Hi Jambunathan,

Jambunathan K <kjambunat...@gmail.com> writes:

> I have pushed a fix to my private branch (see below).  Please merge both
> `maint' AND `master' branches.

Done.  Thanks a lot for continuing this work!

-- 
 Bastien



Reply via email to