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. 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
