From: bors <bors@rust-lang.org>
Date: Wed, 18 Sep 2019 09:22:58 +0000 (+0000)
Subject: Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=d83bcbd339c2782edb9a523874e7d9c0bcca012e;p=rust.git

Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung

rustup for retag rename

This is the Miri side of https://github.com/rust-lang/rust/pull/64503. Do not force-push!
---

d83bcbd339c2782edb9a523874e7d9c0bcca012e