The departmental servers are working fine after the updates. coxeter and sphere took somewhat longer to update due to the large number of updates (this was a minor version update to our RHEL distribution).
Server updates on 2013nov27 were successful
November 27, 2013 by
