Hi, should we follow the suggestion of Lars and close the bug report or let it stay open until a new version which contains a fix for this bug has been uploaded into the archive?
Ciao
Christian
--
Ein "Nein" ausgesprochen mit der tiefsten Überzeugung ist besser
und größer als ein "Ja" um zu gefallen oder noch schlimmer, um
Schwierigkeiten zu umgehen.
-- Mahatma Gandhi
