diff options
| author | Markus Reiter | 2017-08-11 13:29:08 +0200 |
|---|---|---|
| committer | GitHub | 2017-08-11 13:29:08 +0200 |
| commit | d6d681ca01f8acf6b8d5e66cc1ca67310e9b8913 (patch) | |
| tree | a522066312363f6ff5fe90c2fea99a91937084d6 /docs | |
| parent | 67b20d97d80d8bf550e62a92af4aba025dd806a7 (diff) | |
| parent | d9587a8b5e15e75bc71ee19c90770688d361e1e1 (diff) | |
| download | brew-d6d681ca01f8acf6b8d5e66cc1ca67310e9b8913.tar.bz2 | |
Merge pull request #3039 from reitermarkus/curl-args
`curl_download`: Retry once on error `33`.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions