Bug#630646: Selecting Hibernate for "When the power button is pressed" takes no effect

[W. Martin Borgert]

notfound 630646 3.4.2-7+deb7u1
thanks

Quoting althaser <althaser at gmail.com>:
> The alternative-status-menu extension is already shipped with
> package: gnome-shell-extensions.

Huh? You're right, it is even in wheezy! I have it installed on
the machine, but my menu did not change. But I will analyse this
problem and file another bug report, if necessary. Closing this.

Thanks for bug hunting to both of you, btw.!