]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jk/curl-avoid-deprecated-api'
authorJunio C Hamano <redacted>
Fri, 20 Jan 2023 23:36:21 +0000 (15:36 -0800)
committerJohannes Schindelin <redacted>
Mon, 6 Feb 2023 08:27:41 +0000 (09:27 +0100)
Deal with a few deprecation warning from cURL library.

* jk/curl-avoid-deprecated-api:
  http: support CURLOPT_PROTOCOLS_STR
  http: prefer CURLOPT_SEEKFUNCTION to CURLOPT_IOCTLFUNCTION
  http-push: prefer CURLOPT_UPLOAD to CURLOPT_PUT


Trivial merge
git clone https://git.99rst.org/PROJECT