Skip to content

rustup: adjust error message #1210

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Merged
merged 2 commits into from
Mar 9, 2020
Merged

rustup: adjust error message #1210

merged 2 commits into from
Mar 9, 2020

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 6, 2020

This is the Miri side of rust-lang/rust#69762

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Mar 6, 2020
@RalfJung
Copy link
Member Author

RalfJung commented Mar 9, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Mar 9, 2020

📌 Commit 5040cb7 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Mar 9, 2020

⌛ Testing commit 5040cb7 with merge 676c4f8...

@bors
Copy link
Contributor

bors commented Mar 9, 2020

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 676c4f8 to master...

@bors bors merged commit 676c4f8 into rust-lang:master Mar 9, 2020
@RalfJung RalfJung deleted the rustup-validity branch March 11, 2020 20:53
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-blocked-on-rust Status: Blocked on landing a Rust PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@RalfJung @bors