Bug 110471 - [Chromium] Remove chromium/public/platform directory
Summary: [Chromium] Remove chromium/public/platform directory
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebKit Misc. (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Mark Pilgrim (Google)
URL:
Keywords:
Depends on: 110528
Blocks: 82948
  Show dependency treegraph
 
Reported: 2013-02-21 07:52 PST by Mark Pilgrim (Google)
Modified: 2013-02-21 17:42 PST (History)
7 users (show)

See Also:


Attachments
Patch (4.00 KB, patch)
2013-02-21 07:52 PST, Mark Pilgrim (Google)
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Mark Pilgrim (Google) 2013-02-21 07:52:01 PST
[Chromium] Remove chromium/public/platform directory
Comment 1 Mark Pilgrim (Google) 2013-02-21 07:52:40 PST
Created attachment 189528 [details]
Patch
Comment 2 Mark Pilgrim (Google) 2013-02-21 07:53:02 PST
Depends on https://codereview.chromium.org/11824036/
Comment 3 Adam Barth 2013-02-21 11:54:35 PST
We'll probably need to use svn to delete the empty directory, but we can do that after this patch lands if needed.
Comment 4 WebKit Review Bot 2013-02-21 17:20:02 PST
Please wait for approval from abarth@webkit.org, dglazkov@chromium.org, fishd@chromium.org, jamesr@chromium.org or tkent@chromium.org before submitting, as this patch contains changes to the Chromium public API. See also https://trac.webkit.org/wiki/ChromiumWebKitAPI.
Comment 5 WebKit Review Bot 2013-02-21 17:42:05 PST
Comment on attachment 189528 [details]
Patch

Clearing flags on attachment: 189528

Committed r143674: <http://trac.webkit.org/changeset/143674>
Comment 6 WebKit Review Bot 2013-02-21 17:42:09 PST
All reviewed patches have been landed.  Closing bug.