On Sun, 19 May 2002, Michael Banck wrote: > See http://bugs.debian.org/137844 for the full (and slightly redundant) > story. Sorry, but I haven't been able to reproduce this problem. Tommi