[fdo] Downtime on annarchy for maintenance 2013-07-27

[Tim-Philipp Müller]

On Sat, 2013-07-27 at 23:10 +0200, Tollef Fog Heen wrote:

> Just for the record, this is done now and we have a lot more space on
> /home on annarchy.

Thanks!

I shall close https://bugs.freedesktop.org/show_bug.cgi?id=63808 then.

Out of curiosity, is there a better place to report such things to fdo
sysadmins than bugzilla, the sitewranglers list, and IRC?

Cheers
 -Tim