[webkit-reviews] review granted: [Bug 139062] [GTK] Timers might never be fired during animations : [Attachment 242226] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 139062: [GTK] Timers might never be fired during animations
https://bugs.webkit.org/show_bug.cgi?id=139062

Attachment 242226: Patch

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