From: bors <bors@rust-lang.org>
Date: Mon, 9 Mar 2020 16:04:10 +0000 (+0000)
Subject: Auto merge of #1210 - RalfJung:rustup-validity, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=676c4f8c8cafe06c10263131da48c496717b6b8e;p=rust.git

Auto merge of #1210 - RalfJung:rustup-validity, r=RalfJung

rustup: adjust error message

This is the Miri side of https://github.com/rust-lang/rust/pull/69762
---

676c4f8c8cafe06c10263131da48c496717b6b8e