Hi Tollef,
thanks for the bug, I'll do that.
In fact, I might even have been bitten by this once before I was maintainer. ;)
Thank you for the link to the detailed explanation, too.
Kind regards
Thomas
--
Thomas Viehmann, Debian mini-dinstall maintainer, http://thomas.viehmann.net/
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
