nolta/julia — comment on commit ba9b550da218dca2000282a1e01ed11cc3673ab5
File:  line 0
By StefanKarpinski:

I suspect that using curl rather than wget on all platforms is acceptable. The history of why we're using wget is a little bizarre, but it's no longer necessary.