82862 – [Chromium] Move another block of headers from WebKit/chromium/public/platform to Platform/chromium/public

RESOLVED FIXED 82862

[Chromium] Move another block of headers from WebKit/chromium/public/platform to Platform/chromium/public

https://bugs.webkit.org/show_bug.cgi?id=82862

Summary [Chromium] Move another block of headers from WebKit/chromium/public/platform...

Adam Barth

Reported 2012-04-02 00:25:45 PDT

[Chromium] Move another block of headers from WebKit/chromium/public/platform to Platform/chromium/public

Attachments
Patch (41.32 KB, patch) 2012-04-02 00:30 PDT, Adam Barth	no flags	Details Formatted Diff Diff
View All Add attachment proposed patch, testcase, etc.

Adam Barth

Comment 1 2012-04-02 00:30:20 PDT

Adam Barth

Comment 2 2012-04-02 00:31:48 PDT

Note You need to log in before you can comment on or make changes to this bug.

Status RESOLVED

Resolution FIXED

Priority P2

Severity Normal

Classification Unclassified

Version 528+ (Nightly build)

Hardware Unspecified

OS Unspecified

Product WebKit

Component New Bugs

Assignee

Adam Barth

Reported

2012-04-02 00:25 PDT

Modified

2012-04-02 00:31 PDT History

CC List

2 users Show

URL

Keywords

Depends on

Blocks