Skip to content

Make work with latest rustc #1845

New issue

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

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

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 4, 2021
Merged

Conversation

syvb
Copy link
Contributor

@syvb syvb commented Jul 4, 2021

Cc rust-lang/rust#86863, which was caused by PR rust-lang/rust#86255.

@syvb syvb force-pushed the fix-after-mir-alloc-oom branch from 003dce7 to d193769 Compare July 4, 2021 14:00
@RalfJung
Copy link
Member

RalfJung commented Jul 4, 2021

Thanks. :)
@bors r+

@bors
Copy link
Contributor

bors commented Jul 4, 2021

📌 Commit d193769 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Jul 4, 2021

⌛ Testing commit d193769 with merge 15e81a9...

@bors
Copy link
Contributor

bors commented Jul 4, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 15e81a9 to master...

@bors bors merged commit 15e81a9 into rust-lang:master Jul 4, 2021
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.

3 participants