cjwatson, what are the chances of getting these changes pushed into precise?
As for cert-checking, I don't think that's as necessary as the people who want to enable https archives, are typically pointing at internal mirrors that contain invalid certificates. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1172101 Title: wget-udeb should install to /usr/bin/wget instead of /usr/bin/wget.gnu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/base-installer/+bug/1172101/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs