[webkit-reviews] review granted: [Bug 76626] [GTK] WebKit2 GTK+ API public headers are not installed : [Attachment 123115] Patch updated to also add WebKitEnumTypes.h to the list of public headers
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Thu Jan 19 09:34:44 PST 2012
Martin Robinson <mrobinson at webkit.org> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 76626: [GTK] WebKit2 GTK+ API public headers are not installed
https://bugs.webkit.org/show_bug.cgi?id=76626
Attachment 123115: Patch updated to also add WebKitEnumTypes.h to the list of
public headers
https://bugs.webkit.org/attachment.cgi?id=123115&action=review
More information about the webkit-reviews
mailing list