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

2021-11-29 Thread Debian Bug Tracking System
Your message dated Mon, 29 Nov 2021 18:30:09 + with message-id and subject line Bug#993577: Removed package(s) from unstable has caused the Debian Bug report #997005, regarding RM: gnome-shell-extension-remove-dropdown-arrows -- ROM; No longer needed/useful with gnome-shell version 41 to be

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

2021-11-29 Thread Debian Bug Tracking System
Your message dated Mon, 29 Nov 2021 18:30:06 + with message-id and subject line Bug#993577: Removed package(s) from unstable has caused the Debian Bug report #993577, regarding RM: gnome-shell-extension-remove-dropdown-arrows -- ROM; No longer needed/useful with gnome-shell version 41 to be