git version 2.4.0 From https://github.com/curl/curl * branch master -> FETCH_HEAD HEAD is now at 5c131c6 curl_trc: provide Curl_trc_dns dummy 5c131c6c46818d2577f2d5eb542133d51e937490