From: bors <bors@rust-lang.org>
Date: Fri, 11 May 2018 23:38:48 +0000 (+0000)
Subject: Auto merge of #5522 - DarkDrek:user_agent_option, r=alexcrichton
X-Git-Tag: archive/raspbian/0.35.0-2+rpi1~3^2^2^2^2^2^2^2~22^2^2~35
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=b24b455c327048df940ab8322cc6f9d361fef918;p=cargo.git

Auto merge of #5522 - DarkDrek:user_agent_option, r=alexcrichton

Add option to set user-agent

Fixes #5494
---

b24b455c327048df940ab8322cc6f9d361fef918