WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
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
Created
attachment 135035
[details]
Patch
Adam Barth
Comment 2
2012-04-02 00:31:48 PDT
Committed
r112834
: <
http://trac.webkit.org/changeset/112834
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug