[webkit-reviews] review granted: [Bug 209051] [GTK][WPE] Media controls numeric position value is not automatically updated during playback : [Attachment 393653] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 209051: [GTK][WPE] Media controls numeric position value is not
automatically updated during playback
https://bugs.webkit.org/show_bug.cgi?id=209051

Attachment 393653: Patch

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