[webkit-reviews] review granted: [Bug 134109] Increase priority on SharedTimer source : [Attachment 233434] Patch with proper changelog

[bugzilla-daemon at webkit.org]

Gustavo Noronha (kov) <gns at gnome.org> has granted Andre Moreira Magalhaes
<andrunko at gmail.com>'s request for review:
Bug 134109: Increase priority on SharedTimer source
https://bugs.webkit.org/show_bug.cgi?id=134109

Attachment 233434: Patch with proper changelog
https://bugs.webkit.org/attachment.cgi?id=233434&action=review

------- Additional Comments from Gustavo Noronha (kov) <gns at gnome.org>
This would be a problem for webkit1, but is a proper fix for the webkit2 model
IMO, since we do not compete with GTK+ mainloop sources anymore.