On Thu, Feb 03, 2000 at 03:17:47PM +0100, Michael Meskes wrote: > After all if I ran into this after 6 or 7 years of Linux experience there's > quite a good chance beginners will run into it too. Okay, so who files the grave bug? Or is it already there? cu Torsten -- Torsten Landschoff Bluehorn@IRC <torsten@debian.org> Debian Developer and Quality Assurance Committee Member