diff options
author | Daniel Stenberg <daniel@haxx.se> | 2019-05-22 23:25:43 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2019-05-23 23:31:43 +0200 |
commit | 4e86f2fc4e6c504c39baf5763f34225c41c1605b (patch) | |
tree | 88d23ab90f3df8dd3aff196ed65b48b69bb66e8a /docs/libcurl/opts/CURLOPT_USERAGENT.3 | |
parent | 2a32f5f4579a42a7ebdf571772bc4517fa19fab3 (diff) |
tool_setopt: for builds with disabled-proxy, skip all proxy setopts()
Reported-by: Marcel Raad
Fixes #3926
Closes #3929
Diffstat (limited to 'docs/libcurl/opts/CURLOPT_USERAGENT.3')
0 files changed, 0 insertions, 0 deletions