 Maggie SpletzerandTingluo Huang
|
38ab9dedf4
|
Adding curl retry for external tool downloads (#2552)
* adding retry for flaky downloads
* adding comment
* Update src/Misc/externals.sh
Co-authored-by: Tingluo Huang <[email protected]>
---------
Co-authored-by: Tingluo Huang <[email protected]>
|
2023-04-18 18:31:46 +00:00 |
|