Bug#702844: marked as done (general: imposible to shutdown or logout graphically in gnome-shell)

[Jonathan Dowland]

I think gnome-shell-extensions has an extension that changes the behaviour to 
what you desire.

--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/96beef9c-c909-48d7-b0ab-c64d0a806...@debian.org