Marcel Moolenaar <marcel at xcllnt.net> writes: > After my profiling fixes I can't reproduce this anymore. Is the sandbox > cleaned and/or updated? Dead cvsup server. I've switched the tinderbox over to cvsup11. DES -- Dag-Erling Smørgrav - des at des.no