On Fri, Nov 30, 2001 at 03:22:09PM +0100, Michael Meskes wrote: > Is it just me or is db.debian.org/machines.cgi not available at the moment? Same here. I think some script in there is broken. Anyone here knows what's wrong? T -- It is impossible to make anything foolproof because fools are so ingenious. -- Sammy