[webkit-reviews] review granted: [Bug 135836] [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install : [Attachment 236581] Patch

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Aug 14 01:48:18 PDT 2014


Philippe Normand <pnormand at igalia.com> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 135836: [GTK] WebKit DOM documentation (webkitdomgtk) not installed after
make install
https://bugs.webkit.org/show_bug.cgi?id=135836

Attachment 236581: Patch
https://bugs.webkit.org/attachment.cgi?id=236581&action=review


More information about the webkit-reviews mailing list