> For gtk+, I reckon best is to file a bug in bugzilla.gnome.org (under
> platform/gtk+ and backend: win32) and attach your patch there for review.
Opened https://bugzilla.gnome.org/show_bug.cgi?id=765259
Hope to get some replies earlier than https://bugzilla.gnome.org/show_bug.cgi?id=761102