Bug 107722

Summary: [Chromium] Fix some #includes to headers in chromium/public/platform/ that have been moved to the new Platform directory
Product: WebKit Reporter: Mark Pilgrim (Google) <pilgrim>
Component: WebKit Misc.Assignee: Mark Pilgrim (Google) <pilgrim>
Status: RESOLVED FIXED    
Severity: Normal CC: abarth, fishd, haraken, jamesr, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Bug Depends on:    
Bug Blocks: 82948    
Attachments:
Description Flags
Patch none

Description Mark Pilgrim (Google) 2013-01-23 12:38:45 PST 
[Chromium] Fix some #includes to headers in chromium/public/platform/ that have been moved to the new Platform directory
Comment 1 Mark Pilgrim (Google) 2013-01-23 12:39:57 PST 
Created attachment 184285 [details]
Patch
Comment 2 Mark Pilgrim (Google) 2013-01-23 12:41:04 PST 
Comment on attachment 184285 [details]
Patch

Missed these in the last sweep.
Comment 3 WebKit Review Bot 2013-01-23 13:21:36 PST 
Comment on attachment 184285 [details]
Patch

Clearing flags on attachment: 184285

Committed r140578: <http://trac.webkit.org/changeset/140578>
Comment 4 WebKit Review Bot 2013-01-23 13:21:39 PST 
All reviewed patches have been landed.  Closing bug.