https://bugzilla.gnome.org/show_bug.cgi?id=671693
We're replacing the code that switches extensions on/off in the fail whale with something that disables all extensions - it was never a good UI in the first place. -- Jasper _______________________________________________ [email protected] http://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
