Hey all, It would be great to push the patch at https://bugzilla.gnome.org/show_bug.cgi?id=746112 before 3.16. It is no crasher, but reportedly annoying for tablet users.
Cheers, Carlos _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
