Bug#1082388: RM: gnome-shell-extension-manager [armel] -- ROM; NBS #1080521

[Jeremy Bícha]

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

We are removing gjs on armel. When that happens,
gnome-shell-extension-manager will be
unbuildable on armel. Therefore, please remove its binaries on armel.

See https://bugs.debian.org/1080521 for more background.

On behalf of the Debian GNOME team,
Jeremy Bicha