Add option to set user-agent
authorDarkDrek <wackerei@gmail.com>
Fri, 11 May 2018 22:41:15 +0000 (00:41 +0200)
committerDarkDrek <wackerei@gmail.com>
Fri, 11 May 2018 23:19:00 +0000 (01:19 +0200)
commitab4b8b9d83dc6d50cd457398219f2e8a9acc854d
treee7cd585183ba76126f673a0e0e6d22560df5a659
parent2f7cf4a6db13e7e240b038971fc2d24196608e10
Add option to set user-agent

Fixes #5494
src/cargo/ops/registry.rs
tests/testsuite/bad_config.rs