The following servers will be taken down this week-end for a memory upgrade. The downtime for each upgrade should be less than 30 minutes:

Saturday, October 5th:
06:00 UTC: Web397, Web401, Web407, Web408
08:00 UTC: Web416

Sunday, October 6th:
06:00 UTC: Web355, Web367
08:00 UTC: Web358, Web395
09:00 UTC: Web361

Update: Web397, Web401, Web407, Web408 and Web416 have been upgraded

Update: All servers have now been upgraded