Hi,
On Sat, May 12, 2018 at 01:59:42AM +0200, Emmanuel Bourg wrote:
> > You summoned?
>
> Thank you for the quick help! It works perfectly.
>
> @Andreas: I pushed the fixes, could you complete the upload please?
Done.
BTW, I did the team hijack to enable every team member to upload. While
its fine for me to do this its also perfectly welcome if you upload any
of the packages that are mentioning myself as Uploader (which was not
even the case here) without asking. :-)
Kind regards
Andreas.
--
http://fam-tille.de
