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.