git version 2.15.2
From https://github.com/curl/curl
 * branch                  master     -> FETCH_HEAD
HEAD is now at 2cdb2209da getinfo: initialize `PureInfo` field `used_proxy`
2cdb2209da683aeb8e72f11933095af5478fbc4e