Skip to content

Conversation

@fuine
Copy link
Contributor

@fuine fuine commented Nov 2, 2016

For more information see this PR.

@ujh
Copy link
Collaborator

ujh commented Nov 3, 2016

👍 Thank you!

@ujh ujh merged commit 5be0bf5 into reem:master Nov 3, 2016
@fuine fuine deleted the fix-for-rustc-2016-11-01 branch November 3, 2016 08:34
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