As ever, disk space is low, and a whole pile of things have been cleaned up. If you really need something we deleted, let an admin know. And if your department wishes to buy us some hard drives, we’d love to hear about it :)
The following mirrors are gone (because they have gone stale):
The following releases have been pruned out:
This has taken us down to only 90% full, and we should be able to hold out for another couple of months, giving us some time to find disk donors.