Hi all,Javier commented on this bug for GNOME 3.14 and I'm formally asking for permission to release with the patch attached:
https://bugzilla.gnome.org/show_bug.cgi?id=734351 Thanks, -- Regards, Martyn Founder & Director @ Lanedo GmbH. http://www.linkedin.com/in/martynrussell _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
