Processing control commands: > reassign -1 gnome-shell 3.22.0-1 Bug #838885 [gnome-shell-extensions] [gnome-shell-extensions] gnome-shell-extension-prefs: empty preferences window Bug reassigned from package 'gnome-shell-extensions' to 'gnome-shell'. No longer marked as found in versions gnome-shell-extensions/3.22.0-1. Ignoring request to alter fixed versions of bug #838885 to the same values previously set Bug #838885 [gnome-shell] [gnome-shell-extensions] gnome-shell-extension-prefs: empty preferences window Marked as found in versions gnome-shell/3.22.0-1.
-- 838885: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838885 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
