[Webkit-unassigned] [Bug 151816] [GStreamer] built-in media player doesn't update

[bugzilla-daemon at webkit.org]

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

--- Comment #1 from Michael Catanzaro <mcatanzaro at igalia.com> ---
It seems the current time is updated only when hovering over it with the mouse.

Hopefully this is a recent regression....

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