Skip to content

rm obsolete references to DeepClone#13023

Merged
bors merged 1 commit intorust-lang:masterfrom
thestinger:deep_clone
Mar 20, 2014
Merged

rm obsolete references to DeepClone#13023
bors merged 1 commit intorust-lang:masterfrom
thestinger:deep_clone

Conversation

@thestinger
Copy link
Contributor

No description provided.

@bors bors closed this Mar 20, 2014
@bors bors merged commit 0de6441 into rust-lang:master Mar 20, 2014
@thestinger thestinger deleted the deep_clone branch March 22, 2014 22:19
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.

2 participants