Merge pull request #4944 from astifter/fix_better_curl_error_during_install
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sat, 28 Apr 2018 06:58:45 +0000 (08:58 +0200)
committerGitHub <noreply@github.com>
Sat, 28 Apr 2018 06:58:45 +0000 (08:58 +0200)
commit02c046e630153613d8318e7f09e72fc0708dc152
tree3a98d21b67f456a37f1ac337e8b280880f68e0b4
parent66e5586d21674431fd80fa848b9efb6a01c9238f
parent91e0a9227e43b74b8a3b76f40fb6ebb2bba15526
Merge pull request #4944 from astifter/fix_better_curl_error_during_install

Fix #4943.