Server updates on 2017jan11 were successful

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