Server updates on 2013jan16 were successful

The departmental servers all appear to be working fine after the updates, which were completed shortly before 5:30pm.