Processed: gnome-shell: disable-restart-buttons option of gdm-shell greeter is not working

[Debian Bug Tracking System]

Processing control commands:

> affects -1 gdm3
Bug #714862 [gnome-shell] gnome-shell: disable-restart-buttons option of gdm-shell greeter is not working
Added indication that 714862 affects gdm3
> forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=686247
Bug #714862 [gnome-shell] gnome-shell: disable-restart-buttons option of gdm-shell greeter is not working
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=686247'.
> fixed -1 3.7.92-1
Bug #714862 [gnome-shell] gnome-shell: disable-restart-buttons option of gdm-shell greeter is not working
Marked as fixed in versions gnome-shell/3.7.92-1.

-- 
714862: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714862
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems