Bug#1085040: RM: gnome-shell-extension-manager [armel] -- RoM; depends on gjs which is no longer available

[Simon McVittie]

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

gnome-shell-extension-manager depends on gjs which is no longer available
on armel. Please remove it from armel.

(I previously requested this as part of #1082389, but I've been told
out-of-band that the ftp team wants to receive a separate bug for each
package where removal is requested.)

Thanks,
    smcv