From: bors Date: Wed, 1 Jan 2020 14:24:09 +0000 (+0000) Subject: Auto merge of #1135 - Aaron1011:rustup-plain, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=67ef0b131eb5c13f5e6479dcf4d4067847a69823;p=rust.git Auto merge of #1135 - Aaron1011:rustup-plain, r=RalfJung Rustup This is mainly to see if CI can reproduce a strange issue I'm running into locally --- 67ef0b131eb5c13f5e6479dcf4d4067847a69823