The patch lies at https://bugzilla.gnome.org/show_bug.cgi?id=613241 and has been committed in http://git.gnome.org/browse/gtk+/commit/?id=5f29a679f8a31b6548f34179d65a39de9ec63535
Cheers, -- Yves-Alexis -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
