rm obsolete references to DeepClone
#13023
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 20, 2014
thestinger:deep_clone
Merged
rm obsolete references to `DeepClone`#13023bors merged 1 commit intorust-lang:masterfrom thestinger:deep_clone
bors merged 1 commit intorust-lang:masterfrom
thestinger:deep_clone