Bug#1087131: RM: gnome-shell-extension-system-monitor -- ROM; superseded by gnome-shell-extensions

[Jeremy Bícha]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: gnome-shell-extension-system-monitor at packages.debian.org
User: ftp.debian.org at packages.debian.org
Usertags: remove
Control: affects -1 src:gnome-shell-extension-system-monitor

The binary package gnome-shell-extension-system-monitor is now
provided by the gnome-shell-extensions source. Therefore, please
remove the obsolete source package
gnome-shell-extension-system-monitor

On behalf of the Debian GNOME team,
Jeremy Bicha