#812987 gnome-shell-extensions: The "Applications menu" extension stopped workin witha recent (2016/01/27) update #812987
- Package:
- gnome-shell-extensions
- Source:
- gnome-shell-extensions
- Submitter:
- Emmanuel Charpentier
- Date:
- 2016-01-28 11:27:05 UTC
- Severity:
- normal