Skip to content
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

#1722 Pin curl to Version 7.69.1-r0 #1723

merged 1 commit into from Mar 13, 2020

#1722 Pin curl to Version 7.69.1-r0 #1723

merged 1 commit into from Mar 13, 2020


Copy link

Schnitzel commented Mar 13, 2020

Pin curl to Version 7.69.1-r0 as the current shipped one 7.67.0 has a bug, see

Closing issues

Put closes #1722 in your comment to auto-close the issue that your PR fixes (if such).

@Schnitzel Schnitzel merged commit fc77fde into master Mar 13, 2020
1 check passed
1 check passed
continuous-integration/jenkins/pr-merge This commit looks good
@Schnitzel Schnitzel added this to the v1.3.1 milestone Mar 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.