Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
tool_help: Warn if curl and libcurl versions do not match #3774
.. because functionality may be affected if the versions differ.
This commit implements TODO 18.7 "warning if curl version is not in sync