[Webkit-unassigned] [Bug 76626] [GTK] WebKit2 GTK+ API public headers are not installed

[bugzilla-daemon at webkit.org]

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


Carlos Garcia Campos <cgarcia at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #123112|0                           |1
        is obsolete|                            |
 Attachment #123112|review?                     |
               Flag|                            |
 Attachment #123115|                            |review?
               Flag|                            |




--- Comment #2 from Carlos Garcia Campos <cgarcia at igalia.com>  2012-01-19 05:36:05 PST ---
Created an attachment (id=123115)
 --> (https://bugs.webkit.org/attachment.cgi?id=123115&action=review)
Patch updated to also add WebKitEnumTypes.h to the list of public headers

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.