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

23513 #109

Merged
merged 1 commit into from
Nov 1, 2015
Merged

23513 #109

merged 1 commit into from
Nov 1, 2015

Conversation

bltavares
Copy link
Contributor

steveklabnik added a commit that referenced this pull request Nov 1, 2015
@steveklabnik steveklabnik merged commit 4735340 into rust-lang:master Nov 1, 2015
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