Can you please look at your $HOME on .debian.org machines and remove files which you no longer need (such as old sources). This is crucial especially for master and klecker which have both run out of disk space in the last few days! So please check if you have any non-essential files there which you can remove. Thanks. -- Martin Michlmayr tbm@cyrius.com
Attachment:
pgp78UX_IIev6.pgp
Description: PGP signature