** Tags added: patch -- setools could be split between GUI and non-GUI tools https://bugs.launchpad.net/bugs/598025 You received this bug notification because you are a member of Ubuntu Review Team, which is a direct subscriber.