http://changelogs.ubuntu.com/changelogs/pool/main/g/gnome-menus/gnome-
menus_3.0.1-0ubuntu4/changelog
See changelog for gnome-menus (3.0.0-0ubuntu1) oneiric; urgency=low:
* debian/patches/06_menus_rename.patch:
- Rename applications.menu to gnome-applications.menu
Regards
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/798135
Title:
gnome-shell crashed with signal 5 in shell_app_system_get_sections()
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/798135/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
