Ben Gamari, thank you for reporting this and helping make Ubuntu better.
As per https://wiki.ubuntu.com/Releases, Ubuntu 12.10 reached EOL on May 16, 2014.
Is this reproducible on a supported release?
Ben Gamari, thank you for reporting this and helping make Ubuntu better.
As per https:/ /wiki.ubuntu. com/Releases, Ubuntu 12.10 reached EOL on May 16, 2014.
Is this reproducible on a supported release?