From: bors Date: Sun, 29 Mar 2020 08:02:10 +0000 (+0000) Subject: Auto merge of #1277 - RalfJung:rustup, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c706f50e3ffb4425a82cf67834402f000f1f9940;p=rust.git Auto merge of #1277 - RalfJung:rustup, r=RalfJung rustup Fix for some renames --- c706f50e3ffb4425a82cf67834402f000f1f9940