Processing commands for cont...@bugs.debian.org: > reassign 837727 gnome-shell-extension-top-icons-plus 15-2 Bug #837727 [src:gnome-shell-extension-top-icon-plus] gnome-shell-extension-top-icon-plus: Not installable with gnome-shell >= 3.21.92 Warning: Unknown package 'src:gnome-shell-extension-top-icon-plus' Bug reassigned from package 'src:gnome-shell-extension-top-icon-plus' to 'gnome-shell-extension-top-icons-plus'. No longer marked as found in versions gnome-shell-extension-top-icon-plus/15-2. Ignoring request to alter fixed versions of bug #837727 to the same values previously set Bug #837727 [gnome-shell-extension-top-icons-plus] gnome-shell-extension-top-icon-plus: Not installable with gnome-shell >= 3.21.92 Marked as found in versions gnome-shell-extension-top-icons-plus/15-2. > thanks Stopping processing here.
Please contact me if you need assistance. -- 837727: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837727 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
