Bug 110471

Summary: [Chromium] Remove chromium/public/platform directory
Product: WebKit Reporter: Mark Pilgrim (Google) <pilgrim>
Component: WebKit Misc.Assignee: Mark Pilgrim (Google) <pilgrim>
Status: RESOLVED FIXED    
Severity: Normal CC: abarth, dglazkov, fishd, haraken, jamesr, tkent+wkapi, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Bug Depends on: 110528    
Bug Blocks: 82948    
Attachments:
Description Flags
Patch none

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.