Bug#993196: gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40

[Simon McVittie]

Control: reopen -1
Control: retitle -1 gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40
Control: tags -1 + wontfix

On Fri, 03 Sep 2021 at 11:48:02 +0000, Debian Bug Tracking System forwarded:
> Closing bug, since this extension will now be removed as it's no longer
> needed since gnome-shell version 40.

I'm reopening this until the package actually gets removed, so that when
we're ready to do the transition, we'll have a bug we can escalate to RC
to stop it re-entering testing.

    smcv