Server updates on 2017jun21 were successful

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