Processed: merge

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 840234 gnome-shell
Bug #840234 [gnome-shell-extensions] gnome-shell-extensions: Settings windows are all blank
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 #840234 to the same values previously set
> forcemerge 838885 840234
Bug #838885 {Done: Andreas Henriksson <andreas at fatal.se>} [gnome-shell] [gnome-shell-extensions] gnome-shell-extension-prefs: empty preferences window
Bug #840234 [gnome-shell] gnome-shell-extensions: Settings windows are all blank
Severity set to 'serious' from 'normal'
Marked Bug as done
Marked as fixed in versions gnome-shell/3.22.0-2.
Marked as found in versions gnome-shell/3.22.0-1.
Merged 838885 840234
> affects 838885 gnome-shell-extensions
Bug #838885 {Done: Andreas Henriksson <andreas at fatal.se>} [gnome-shell] [gnome-shell-extensions] gnome-shell-extension-prefs: empty preferences window
Bug #840234 {Done: Andreas Henriksson <andreas at fatal.se>} [gnome-shell] gnome-shell-extensions: Settings windows are all blank
Added indication that 838885 affects gnome-shell-extensions
Added indication that 840234 affects gnome-shell-extensions
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
838885: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838885
840234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840234
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems