[webkit-reviews] review granted: [Bug 202931] Fix Tools/Scripts/update-webkitgtk-libs build failure in 'gst-plugins-bad' : [Attachment 380885] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Nikolas Zimmermann
<zimmermann at kde.org>'s request for review:
Bug 202931: Fix Tools/Scripts/update-webkitgtk-libs build failure in
'gst-plugins-bad'
https://bugs.webkit.org/show_bug.cgi?id=202931

Attachment 380885: Patch

https://bugs.webkit.org/attachment.cgi?id=380885&action=review