#704553 gnome-shell: removing / deinstalling an application doesn't remove it's shortcut in favorites / dash #704553
- Package:
- gnome-shell
- Source:
- gnome-shell
- Description:
- graphical shell for the GNOME desktop
- Submitter:
- Lars Cebulla
- Date:
- 2014-03-17 14:42:18 UTC
- Severity:
- important