Server updates on 2012jul11 were successful

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