The following servers will be taken down on Friday, October 4th for a memory upgrade. The downtime for each upgrade should be less than 30 minutes:

06:00 UTC: Web382, Web391

08:00 UTC: Web383, Web392

09:00 UTC: Web390

Update: The upgrades are now done