Le Fri, Jul 23, 1999 at 09:37:41AM +0100, Philip Hands écrivait: > Having said that, it doesn't look like I've received the push since > 20th, so the disk space problem probably isn't the primary cause. ftp.fr.debian.org also didn't get pushed ... looks like master doesn't push anymore. Cheers, -- Hertzog Raphaël >> 0C4CABF1 >> http://prope.insa-lyon.fr/~rhertzog/