-
Nirbheek Chauhan authored
Some places block urllib, and others block wget / curl. Set our own agent to workaround that, and so that people can contact us in case we're doing something they don't like while downloading things. Part-of: <!530>
16aad339