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 [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
