In order to pick up the latest security updates, the following servers will be patched on
May 2nd, Thursday at 6AM:
clindev2 clindev9
No incidents reported
