On 19 August 2016 at 18:26, Andreas Bießmann <andreas at biessmann.org> wrote: > On 2016-08-19 14:48, Jagan Teki wrote: >> <snip> > > It would be hard to verify it, if you would have taken that task ... So I'll > do it, with a lower priority sometime next months. OK. thanks! -- Jagan.