The menu is also missing if you run gksu gnome-system-log. Therefore I believe this is actually https://bugzilla.gnome.org/671802
Thanks, Jeremy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
