[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Please clean up your $HOME on various .debian.org machines



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: pgpnUSjz45M3H.pgp
Description: PGP signature


Reply to: