Skip to content
This repository was archived by the owner on May 23, 2024. It is now read-only.

23707 #136

Merged
merged 1 commit into from
Nov 6, 2015
Merged

23707 #136

merged 1 commit into from
Nov 6, 2015

Conversation

babbageclunk
Copy link
Contributor

steveklabnik added a commit that referenced this pull request Nov 6, 2015
@steveklabnik steveklabnik merged commit a21f75d into rust-lang:master Nov 6, 2015
@steveklabnik
Copy link
Member

Thank you!!!

# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants