Skip to content

Conversation

JohnTitor
Copy link
Member

Unfortunately, rust-lang/rust#86234 landed before rust-lang/rust#86233.

@rust-highfive
Copy link

r? @Amanieu

(rust-highfive has picked a reviewer for you, use r? to override)

@Amanieu Amanieu merged commit 3001c75 into rust-lang:master Jun 12, 2021
@JohnTitor JohnTitor deleted the fix-stabilized-version branch June 12, 2021 17:26
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