Skip to content
This repository was archived by the owner on Nov 18, 2022. It is now read-only.

Conversation

@Xanewok
Copy link
Contributor

@Xanewok Xanewok commented Mar 27, 2018

@nrc
Copy link
Member

nrc commented Mar 28, 2018

Seems good to land, but needs rebasing.

@Xanewok
Copy link
Contributor Author

Xanewok commented Apr 3, 2018

Rebased, so I'm gonna go ahead and merge this

@Xanewok Xanewok merged commit 8deee38 into rust-lang:master Apr 3, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants