Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 8, 2020

No description provided.

@RalfJung
Copy link
Member Author

RalfJung commented Mar 8, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Mar 8, 2020

📌 Commit 8394456 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Mar 8, 2020

⌛ Testing commit 8394456 with merge f2ed1ab...

@bors
Copy link
Contributor

bors commented Mar 8, 2020

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

@bors bors merged commit f2ed1ab into rust-lang:master Mar 8, 2020
@RalfJung RalfJung deleted the panic branch March 11, 2020 20:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants