[webkit-reviews] review requested: [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]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  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