Hi Gregor,
On Wed, Dec 13, 2017 at 06:13:42PM +0100, gregor herrmann wrote:
>
> I just pushed a fix (and some other minor improvements) to the
> package's git repo.
Cool! Since we have currently the advent calendar bug fixing party I
wanted to keep the bug statistics right and uploaded on behalf of you.
;-)
Thanks a lot
Andreas.
--
http://fam-tille.de