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 _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
