Am Samstag, den 22.06.2013, 16:01 +0200 schrieb Reinhard Tartler: > I've now polished the package a bit and uploaded it to NEW. Let's see > what happens. Thanks, Reinhard! Could you please "git push --tags"? ;) - Fabian