Brief CVS Downtime: October 26, 2009

Note: this was originally scheduled for Friday, October 23, 2009.

We will have brief downtime of the CVS service to move the server hardware within the machine room.

The downtime window is Monday, October 26, 2009, from 9:00am to 9:30am. We expect the service to be down for less than 10 minutes within this window.