Bug#997005: RM: gnome-shell-extension-remove-dropdown-arrows -- ROM; No longer needed/useful with gnome-shell version 41

[Jonathan Carter]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: j...@debian.org

Please remove gnome-shell-extension-remove-dropdown-arrows

It is no longer needed/useful with the latest gnome-shell,
which is now in unstable.

thanks