Bug#714862: gnome-shell: disable-restart-buttons option of gdm-shell greeter is not working

[Sébastien Villemot]

Package: gnome-shell
Version: 3.4.2-7
Severity: important
Tags: upstream fixed-upstream fixed-in-experimental
Control: affects -1 gdm3
Control: forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=686247
Control: fixed -1 3.7.92-1

Setting disable-restart-buttons=true in /etc/gdm3/greeter.gsettings has no
effect in gdm if the gdm-shell greeter is used; the restart buttons are still
shown.

-- 
 .''`.    Sébastien Villemot
: :' :    Debian Developer
`. `'     http://www.dynare.org/sebastien
  `-      GPG Key: 4096R/381A7594
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20130703/789b3926/attachment.sig>