Bug#859885: No longer necessary, should not be released with stretch

control: clone -1 -2 reassign: -2 ftp.debian.org retitle: -2 RM: gnome-shell-extension-refreshwifi -- ROM; obsolete Am 08.04.2017 um 18:25 schrieb Jonathan Carter: > +1, package should be removed > > Last when I checked that extension, stretch hat a slightly older version > of Gnome that didn't

Processed: Re: Bug#859885: No longer necessary, should not be released with stretch

Processing control commands: > clone -1 -2 Bug #859885 [gnome-shell-extension-refreshwifi] No longer necessary, should not be released with stretch Bug 859885 cloned as bug 859902 -- 859885: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=859885 Debian Bug Tracking System Contact

Bug#859885: No longer necessary, should not be released with stretch

Am 8. April 2017 18:25:06 MESZ schrieb Jonathan Carter : >+1, package should be removed > Should I reassign this bug to ftp.debian.org so the package is removed completely?

Bug#859885: No longer necessary, should not be released with stretch

Am 08.04.2017 um 17:10 schrieb Michael Biebl: > Package: gnome-shell-extension-refreshwifi > Version: 6.0-1 > Severity: serious > > Hi, > > this extensions was originally developed to work around a bug in > gnome-shell: > https://bugzilla.gnome.org/show_bug.cgi?id=767918 > > This has been fixed

Bug#859885: No longer necessary, should not be released with stretch

Package: gnome-shell-extension-refreshwifi Version: 6.0-1 Severity: serious Hi, this extensions was originally developed to work around a bug in gnome-shell: https://bugzilla.gnome.org/show_bug.cgi?id=767918 This has been fixed in the mean time in gnome-shell 3.22.2 and that fix is available in