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 gus...@debian.org
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 gus...@debian.org