update curl info
authorMichael Wallner <mike@php.net>
Fri, 23 Feb 2018 07:18:44 +0000 (08:18 +0100)
committerMichael Wallner <mike@php.net>
Fri, 23 Feb 2018 07:18:44 +0000 (08:18 +0100)
commit02db4df1bc8a7a6fef41297c082ecfe5d259ca96
treedc55dbb161224120ca485d3b2ef6b1b0798756ea
parent1e16f290236f1d669f4fba501d06a334e03f5827
update curl info
scripts/gen_curlinfo.php
src/php_http_client_curl.c