[webkit-dev] Build.webkit.org Downtime: Tomorrow, Sep 15, 8am PDT

[William Siegrist]

Build.webkit.org will be down tomorrow for a software upgrade starting around 8am PDT. Total downtime should be less than 1 hour.  This is fairly short notice, so I apologize for that, but we're trying to fix the performance issues we've been experiencing.  You may have trouble running webkit-patch while build.webkit.org is down, but that is covered by <https://bugs.webkit.org/show_bug.cgi?id=45707>. If you find problems with anything after build.webkit.org is back up, please let me know as soon as possible and cc me on the bug. 

Thanks
-Bill