From: bors Date: Tue, 25 Feb 2020 23:07:59 +0000 (+0000) Subject: Auto merge of #1193 - RalfJung:rustup, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=05a9d9b4105459928e878b464eb56f95d64091b9;p=rust.git Auto merge of #1193 - RalfJung:rustup, r=RalfJung rustup @bors r+ --- 05a9d9b4105459928e878b464eb56f95d64091b9