@smcv: Agree we should remove gnome-shell-extension-system-monitor for the time being. Thanks for updating #1052108.
- Bug#1050237: transition: mutter/gnome-shell 46 Jeremy Bícha
- Processed: transition: mutter/gnome-shell ... Debian Bug Tracking System
- Bug#1050237: transition: mutter/gnome-shel... Sebastian Ramacher
- Processed: Re: Bug#1050237: transition... Debian Bug Tracking System
- Bug#1050237: transition: mutter/gnome-shel... Jeremy Bícha
- Bug#1050237: transition: mutter/gnome-shel... Sid T
- Bug#1050237: transition: mutter/gnome-... Simon McVittie
- Bug#1050237: transition: mutter/gn... Sid T

