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
