This isn't really a blocker, per se: https://bugzilla.gnome.org/show_bug.cgi?id=746523
but it's confusing for the user and has near zero risk to fix. okay to push? _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
