Processing commands for [email protected]: > forcemerge 993577 997005 Bug #993577 [ftp.debian.org] RM: gnome-shell-extension-remove-dropdown-arrows -- ROM; No longer needed in GNOME 40 Bug #997005 [ftp.debian.org] RM: gnome-shell-extension-remove-dropdown-arrows -- ROM; No longer needed/useful with gnome-shell version 41 997005 was not blocked by any bugs. 997005 was not blocking any bugs. Added blocking bug(s) of 997005: 997074 Added tag(s) moreinfo. Merged 993577 997005 > thanks Stopping processing here.
Please contact me if you need assistance. -- 993577: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993577 997005: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997005 Debian Bug Tracking System Contact [email protected] with problems
