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

[Debian Bug Tracking System]

Processing control commands:

> reopen -1
Bug #993196 {Done: Jonathan Carter <jcc at debian.org>} [gnome-shell-extension-remove-dropdown-arrows] gnome-shell-extension-remove-dropdown-arrows: does not declare compatibility with GNOME Shell 40
Bug reopened
Ignoring request to alter fixed versions of bug #993196 to the same values previously set
> retitle -1 gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40
Bug #993196 [gnome-shell-extension-remove-dropdown-arrows] gnome-shell-extension-remove-dropdown-arrows: does not declare compatibility with GNOME Shell 40
Changed Bug title to 'gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40' from 'gnome-shell-extension-remove-dropdown-arrows: does not declare compatibility with GNOME Shell 40'.
> tags -1 + wontfix
Bug #993196 [gnome-shell-extension-remove-dropdown-arrows] gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40
Added tag(s) wontfix.

-- 
993196: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993196
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems