The following servers will be taken down on Wednesday, October 2nd for a memory upgrade. The downtime for each upgrade should be less than 30 minutes:
06:00 UTC: Web363, Web365, Web366, Web378
08:00 UTC: Amsterdam time: Web364
Update: Web363, Web365, Web366, Web378 have been upgraded
Update: Web364 has been upgraded as well. This maintenance work is now over.