Skip to content

Conversation

RalfJung
Copy link
Member

Thanks @petrochenkov for suggesting this!

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 29, 2019

📌 Commit 4a4886c has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Nov 29, 2019

⌛ Testing commit 4a4886c with merge e1b639a...

bors added a commit that referenced this pull request Nov 29, 2019
avoid injected_panic_runtime which is going away

Thanks @petrochenkov for suggesting this!
@bors
Copy link
Contributor

bors commented Nov 29, 2019

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

@bors bors merged commit 4a4886c into rust-lang:master Nov 29, 2019
@RalfJung RalfJung deleted the panic-runtime branch December 1, 2019 09:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants