RESOLVED FIXED 110471
[Chromium] Remove chromium/public/platform directory 
https://bugs.webkit.org/show_bug.cgi?id=110471
Summary [Chromium] Remove chromium/public/platform directory
Mark Pilgrim (Google)
Reported 2013-02-21 07:52:01 PST
[Chromium] Remove chromium/public/platform directory
Attachments
Patch (4.00 KB, patch)
2013-02-21 07:52 PST, Mark Pilgrim (Google) 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Mark Pilgrim (Google)
Comment 1 2013-02-21 07:52:40 PST
Created attachment 189528 [details] Patch
Mark Pilgrim (Google)
Comment 2 2013-02-21 07:53:02 PST
Depends on https://codereview.chromium.org/11824036/
Adam Barth
Comment 3 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.
WebKit Review Bot
Comment 4 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.
WebKit Review Bot
Comment 5 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>
WebKit Review Bot
Comment 6 2013-02-21 17:42:09 PST
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.