Around 9 o'clock on Mar 26, Marco Strack wrote: > it seems the freedesktop cvs machine is running out of space on /tmp :
I don't think so; it's got 1.2GB free in / (where /tmp lives). But, it's possible there was a transient usage over that limit. Perhaps we should shuffle stuff around and move /tmp to a larger partition? -keith
pgp00000.pgp
Description: PGP signature
