On Dec 10, 2010, at 1:58 PM, Adam Barth <[email protected]> wrote:
> Is it time to throw the switch now? How about next week, Dec 17 at around 4PM PST? > > Adam > > > On Sun, Nov 21, 2010 at 9:55 AM, Dan Bernstein <[email protected]> wrote: >> >> On Nov 21, 2010, at 5:41 AM, Eric Seidel wrote: >> >> That's likely to break all the ews and commit bots. Since I'm on vacation at >> least the ones I run will remain broken until I return on 29th. >> >> Thanks for letting me know. I will make this change some other time. >> >> On Nov 21, 2010 2:31 AM, "Dan Bernstein" <[email protected]> wrote: >>> WebKit developers, >>> >>> I am going to commit the patch from >>> <https://bugs.webkit.org/show_bug.cgi?id=49861>, renaming the WebKitTools >>> directory to Tools and updating all internal references. If you update your >>> tree after that, you might need to adjust any personal scripts or tools that >>> refer to the old name. >>> >>> I am planning to do this in ~14 hours from now (9:30PM UTC, 1:30PM PST). >>> >>> Regards, >>> —Dan >> >> >> _______________________________________________ >> webkit-dev mailing list >> [email protected] >> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev >> >> _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
