New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use curl instead of wget in fetch-thirdparty-deps. #13897

Merged
merged 1 commit into from Aug 26, 2017

Conversation

Projects
None yet
3 participants
@pchote
Member

pchote commented Aug 24, 2017

Closes #13888.

@pchote pchote added this to the Next Release milestone Aug 24, 2017

@chrisforbes chrisforbes self-requested a review Aug 24, 2017

@pchote pchote added the PR: Needs +2 label Aug 24, 2017

@reaperrr

I can't test this, but from what I could gather it looks right, so lgtm.

@reaperrr reaperrr merged commit 49d5283 into OpenRA:bleed Aug 26, 2017

2 checks passed

continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@pchote pchote deleted the pchote:curl-deps branch Oct 15, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment