Server updates on 2012jun06 were successful

The departmental servers all appear to be working fine after the updates.