Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Oct 7, 2020

Fixes #1567

Unfortunately, I found no nice way to test for this.

@RalfJung
Copy link
Member Author

RalfJung commented Oct 7, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Oct 7, 2020

📌 Commit 5058ec1 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Oct 7, 2020

⌛ Testing commit 5058ec1 with merge 8ed7fac...

@bors
Copy link
Contributor

bors commented Oct 7, 2020

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

@bors bors merged commit 8ed7fac into rust-lang:master Oct 7, 2020
@RalfJung RalfJung deleted the rlib branch October 8, 2020 07:17
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.

Miri can't find crate after toolchain update
2 participants