Skip to content

Add Cloned to Option, kill find_copy and get_copy in favour of explicit cloning#18914

Merged
bors merged 3 commits intorust-lang:masterfrom
Gankra:cloned
Nov 17, 2014
Merged

Add Cloned to Option, kill find_copy and get_copy in favour of explicit cloning#18914
bors merged 3 commits intorust-lang:masterfrom
Gankra:cloned

Commits

Commits on Nov 16, 2014