[Webkit-unassigned] [Bug 194367] [GTK] Missing media controls in MediaDocument

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=194367

--- Comment #34 from Guilaume Ayoub <xovni at wanadoo.fr> ---
(In reply to Philippe Normand from comment #33)
> We would need the build to fail when the python3 raises an exception,
> basically. I can have a look at this later on today.

I'm not sure that it raises an exception, it may just generate a JS or CSS file with a syntax error.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20190820/3615410f/attachment.html>