Add timeout to use of `curl` in bootstrap.py.#52846

Merged

bors merged 1 commit intorust-lang:masterfrom kennytm:bootstrap-curl-timeout

Aug 1, 2018

+4-1

Commits on Jul 30, 2018

Add timeout to use of curl in bootstrap.py.
kennytm
committed