Maintenance 7/17 10pm -> 7/18 2am

     Owing to a recent kernel upgrade pushed out by Redhat, Fridays maintenance will be more extensive, involving reboots of most of the Redhat based machines, including the physical host machines so everything will be interrupted for a period.  Most of the heavily used machines will be done after midnight and the less used or duplicated machines before.