[webkit-reviews] review canceled: [Bug 44787] [Gtk] gdk_display_get_core_pointer and gdk_device_get_core_pointer are deprecated : [Attachment 65824] Proposed patch

[bugzilla-daemon at webkit.org]

Alejandro G. Castro <alex at igalia.com> has canceled Alejandro G. Castro
<alex at igalia.com>'s request for review:
Bug 44787: [Gtk] gdk_display_get_core_pointer and gdk_device_get_core_pointer
are deprecated
https://bugs.webkit.org/show_bug.cgi?id=44787

Attachment 65824: Proposed patch
https://bugs.webkit.org/attachment.cgi?id=65824&action=review

------- Additional Comments from Alejandro G. Castro <alex at igalia.com>
I think the patch is correct, maybe the Plos if the bot is not doing a clean
build could be causing the problem, recall to make a fresh rebuild in the bots
when uploading this patch. I've removed config.h and JavascriptCore include
using to find the file.