chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc328b3) | patch
Work around curl -sS -I printing `HTTP/1.0 200 Connection established' before the...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Jul 2015 21:10:35 +0000 (22:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 27 Jul 2015 02:51:44 +0000 (03:51 +0100)
commitf58339ad566233a2e1252dcf309480029f84ab48
tree41a9afbd9286c3cc21990b09882b0a2179203e84tree | snapshot
parentfc328b35ddc6e37c183383d5f8c6bb973dd0cc9bcommit | diff
Work around curl -sS -I printing `HTTP/1.0 200 Connection established' before the actual header, so dgit works with https_proxy set (!)
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.