diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-06-28T17·58+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-28T17·58+0200 |
commit | 5c8f4772836cc14393068a9adce642da224615c4 (patch) | |
tree | 73b029b529c6aea6d0e971a2cd6455d3802b1e0e /src/libexpr/primops/fetchGit.cc | |
parent | 6847c9278840edc97f1ef85b5fafac4338fb1b37 (diff) | |
parent | ec58ba38c55a3ab61fdb1da7d746251e4887ea2c (diff) |
Merge pull request #2977 from aniketd/2971-cannot-disable-http2
Fix `http2 = false` having no effect.
Diffstat (limited to 'src/libexpr/primops/fetchGit.cc')
0 files changed, 0 insertions, 0 deletions