The bug isn't quite what I thought it was. I originally did not have http_proxy set. Then I set it in .profile and sourced that. http_proxy was set in my env for sure, but when I invoked curl it did not work.
After rebooting, though, it seems to work fine. No idea what that means. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
