[webkit-dev] WebKitTools is changing to Tools

Eric Seidel eric at webkit.org
Sun Nov 21 05:41:18 PST 2010

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" <mitz at apple.com> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20101121/c626f81b/attachment.html>

More information about the webkit-dev mailing list