Server updates on 2013feb06 were successful

The departmental servers are working fine after the updates, which were completed about 15 minutes earlier than usual.