Curl: change proxy port type from string to integer#194

carlopi merged 1 commit intoduckdb:mainduckdb/duckdb-httpfs:mainfrom

DinosL:curl_fix_proxy_port_typeDinosL/duckdb-httpfs:curl_fix_proxy_port_typeCopy head branch name to clipboard