Hi, We need to push a fix for a crasher. Patch is in https://bugzilla.gnome.org/show_bug.cgi?id=755287 .
Claudio _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
