[webkit-reviews] review granted: [Bug 125782] [GTK] Some ANGLE headers missing from dist : [Attachment 219322] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has granted Gustavo Noronha (kov)
<gns at gnome.org>'s request for review:
Bug 125782: [GTK] Some ANGLE headers missing from dist
https://bugs.webkit.org/show_bug.cgi?id=125782

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