Am Mittwoch, den 11.04.2007, 21:44 +0200 schrieb Brice Goglin: > I just fixed the description in our git repo, this bug will be fixed by > next upload of 1:7.2 Thanks for taking care of this small issue. Regards, Daniel