Processing commands for cont...@bugs.debian.org: > reassign 888573 gnome-shell-extensions Bug #888573 [gnome-desktop] gnome-desktop: insertion & removal of USB thumb drive causes user to be logged out Bug reassigned from package 'gnome-desktop' to 'gnome-shell-extensions'. No longer marked as found in versions gnome3. Ignoring request to alter fixed versions of bug #888573 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 888573: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888573 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
