notfound 630646 3.4.2-7+deb7u1 thanks Quoting althaser <[email protected]>:
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.! -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
