Bug#398315: gnome-main-menu: Never goes to sleep

[Javier Kohen]

I don't know if the bug can be reproduced, I uninstalled gnome-main-menu
back then. Feel free to close it for lack of information.