might be due to monodevelop then
** Changed in: gnome-panel (Ubuntu)
Status: Needs Info => Unconfirmed-- Software package installed, but menu not updated until next X session https://launchpad.net/bugs/57956 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
