It has probably not been removed at all. Just restart the users and groups tool, and check that it's still present. Else, that's a bug in the users menu.
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-system-tools in Ubuntu. https://bugs.launchpad.net/bugs/788751 Title: User is not removed from "shut down" menu when removed from system -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
