Anybody notice that the gnome-shell-3.0.2-1 update cancels the effects of: -gnome-shell-extensions-drive-menu -gnome-shell-extensions-alternative-status-menu Does this mean that each update of gnome-shell also makes updating the extensions necessary? Alexander -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
