[webkit-reviews] review granted: [Bug 85983] [GTK] Do not install JavaScriptCore platform-specific headers : [Attachment 140922] Patch

[bugzilla-daemon at webkit.org]

Gustavo Noronha (kov) <gns at gnome.org> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 85983: [GTK] Do not install JavaScriptCore platform-specific headers
https://bugs.webkit.org/show_bug.cgi?id=85983

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