Web241 will be taken down on Saturday August 3rd at 5pm UTC for a RAM upgrade. The expected downtime is around 20 minutes.

 

2013-08-03 4:07 UTC: Maintenance is complete and the server is back online.