Skip to content

Conversation

@Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Oct 25, 2020

When an error occurs we display an error message with a "Try Again" button now.

Bildschirmfoto 2020-10-25 um 17 09 10

r? @locks

@locks
Copy link
Contributor

locks commented Oct 25, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Oct 25, 2020

📌 Commit 6d103dc has been approved by locks

@bors
Copy link
Contributor

bors commented Oct 25, 2020

⌛ Testing commit 6d103dc with merge 9730c0b...

@bors
Copy link
Contributor

bors commented Oct 25, 2020

☀️ Test successful - checks-travis
Approved by: locks
Pushing 9730c0b to master...

@bors bors merged commit 9730c0b into rust-lang:master Oct 25, 2020
@Turbo87 Turbo87 deleted the index-error branch October 26, 2020 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants