Power supply failure

The power supply in one of our servers failed in the early hours of Thursday. A new power supply is on its way and we expect the server to be running early next week.

The affected services are:
  • Mailing lists
  • CVS
  • Project web pages and project FTP