[webkit-reviews] review requested: [Bug 125416] [GTK] Do not generated new dispatch_events marked as generated : [Attachment 218694] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  for review:
Bug 125416: [GTK] Do not generated new dispatch_events marked as generated
https://bugs.webkit.org/show_bug.cgi?id=125416

Attachment 218694: Patch
https://bugs.webkit.org/attachment.cgi?id=218694&action=review