-
Timo Teräs authored
I think there used to be problems with using http_proxy on bb wget, but those have been fixed for quite some time. This fixes #347. We should probably use libcurl or similar library eventually, but I'm not entirely sure if/when we want that. (cherry picked from commit aae0a563)
3dfc9d33