Bug#997007: RM: gnome-shell-extension-no-annoyance -- ROM; No longer needed/useful for gnome-shell version 40+

[Jonathan Carter]

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

Please remove gnome-shell-extension-no-annoyance, it is no longer
needed/useful with gnome 40+ (gnome-shell 41 is now in unstable).

thanks