chiark / gitweb /
dgit: url_fetch: Honour new CurlOpts
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jul 2019 16:33:41 +0000 (17:33 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jul 2019 20:58:55 +0000 (21:58 +0100)
commite9957b2d5326b0bdce0e5ca314fde99e213f53d8
treeff768289fdd61871c664efb825b483bf2677e2fc
parent86613b3222ebbe16464ce10b0a1a734ceb1eabba
dgit: url_fetch: Honour new CurlOpts

No functional change with the existing callers.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit