Bug 164069 - [GTK] New stable DOM API headers should be included from webkitdom.h
Summary: [GTK] New stable DOM API headers should be included from webkitdom.h
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebKitGTK (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Michael Catanzaro
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-10-27 12:31 PDT by Michael Catanzaro
Modified: 2016-10-27 23:02 PDT (History)
3 users (show)

See Also:


Attachments
Patch (1.38 KB, patch)
2016-10-27 12:32 PDT, Michael Catanzaro
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Catanzaro 2016-10-27 12:31:58 PDT
New stable DOM API headers should be included from webkitdom.h. This was missed in r205540.
Comment 1 Michael Catanzaro 2016-10-27 12:32:32 PDT
Created attachment 293043 [details]
Patch
Comment 2 WebKit Commit Bot 2016-10-27 23:01:58 PDT
Comment on attachment 293043 [details]
Patch

Clearing flags on attachment: 293043

Committed r208035: <http://trac.webkit.org/changeset/208035>
Comment 3 WebKit Commit Bot 2016-10-27 23:02:02 PDT
All reviewed patches have been landed.  Closing bug.