Skip to content

Conversation

JohnTitor
Copy link
Member

In favor of rust-lang/rust#78439.

@JohnTitor
Copy link
Member Author

r? @pietroalbini

@mexus
Copy link
Contributor

mexus commented Jan 7, 2021

I'm taking the responsibility to merge the PR :) seems like everything has been done in accordance with the docs

@mexus mexus merged commit 6aa318a into rust-lang:master Jan 7, 2021
@JohnTitor JohnTitor deleted the bye-cloudabi branch January 7, 2021 22:00
@JohnTitor
Copy link
Member Author

Thanks!

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