Server updates on 2016feb10 were successful

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