[webkit-reviews] review granted: [Bug 131178] [GTK] Fails to build documentation when output is redirected : [Attachment 228529] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Gustavo Noronha (kov)
<gns at gnome.org>'s request for review:
Bug 131178: [GTK] Fails to build documentation when output is redirected
https://bugs.webkit.org/show_bug.cgi?id=131178

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

------- Additional Comments from Martin Robinson <mrobinson at webkit.org>
Sorry! I was going too fast.