Skip to content

Conversation

Manishearth
Copy link
Member

See #13476

bors added a commit that referenced this pull request Apr 14, 2014
@bors bors closed this Apr 14, 2014
@bors bors merged commit d0aed09 into rust-lang:master Apr 14, 2014
@Manishearth Manishearth deleted the newattr branch January 10, 2015 21:21
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.

4 participants