Hi, Could everyone please delete as much as possible from /home/mercury0? The nightly tests failed the last two nights because it was 100% full. -- Fergus Henderson <fjh at cs.mu.oz.au> | "Binaries may die WWW: <http://www.cs.mu.oz.au/~fjh> | but source code lives forever" PGP: finger fjh at 128.250.37.3 | -- leaked Microsoft memo.