> > What happened to os.inf.tu-dresden.de ?? It's now called non-us.debian.org :).
-- joost witteveen, [EMAIL PROTECTED] My spamfilter is so good, it correctly catches 90% of incoming spam, *including* all email from my PhD supervisor. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to [EMAIL PROTECTED] . Trouble? e-mail to [EMAIL PROTECTED] .