This one can be closed now, right? See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931825
(which really looks like the same bug to me - and it has been closed). best -- Andreas Rönnquist [email protected]
This one can be closed now, right? See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931825
(which really looks like the same bug to me - and it has been closed). best -- Andreas Rönnquist [email protected]