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