You can simply install it from the repository by sudo apt-get install gnome-system-tools
-- 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/1970019 Title: Users Menu in Settings To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-mate/+bug/1970019/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
