[webkit-reviews] review requested: [Bug 35333] [GTK] video playback position query flood when mouse over the video element : [Attachment 50703] micro patched :)

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has asked  for review:
Bug 35333: [GTK] video playback position query flood when mouse over the video
element
https://bugs.webkit.org/show_bug.cgi?id=35333

Attachment 50703: micro patched :)
https://bugs.webkit.org/attachment.cgi?id=50703&action=review