[webkit-dev] build.webkit.org reboot

[William Siegrist]

We need to apply some updates to the build.webkit.org server which requires 2 reboots, about 30m apart. We'll be doing these around 8am PDT on Monday  July 16. Total downtime should be less than 1 minute, but it will disrupt the waterfall display of any in progress builds. The slaves should keep going and catch up the master shortly after the reboots. 

-Bill