FYI: Over the weekend the WebKit API moved from src/third_party/WebKit/WebKit/chromium to src/webkit/api. Why make this change?
After we deleted WebCore and JavaScriptCore, there wasn't much else left in third_party/WebKit, so having to roll DEPS for changes to the WebKit API would add cost for no benefit. Previously, the benefit was that the API was next to WebCore allowing them to more easily change in lock-step. Apologies if this breaks any CLs that you had in flight! -Darin --~--~---------~--~----~------------~-------~--~----~ Chromium Developers mailing list: [email protected] View archives, change email options, or unsubscribe: http://groups.google.com/group/chromium-dev -~----------~----~----~----~------~----~------~--~---
