*** This bug is a duplicate of bug 988509 ***
https://bugs.launchpad.net/bugs/988509
** This bug has been marked a duplicate of bug 988509
setoption.pl is not executable
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://b
** Tags removed: need-duplicate-check
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1075000
Title:
upgrade to Ubuntu 12.04 seemingly didn't work
To manage notifications about this bug go to:
https: