Remove mentions of the old tilde owned pointer syntax#25085
Merged
bors merged 6 commits intorust-lang:masterfrom May 11, 2015
carols10cents:remove-old-tilde
Merged
Remove mentions of the old tilde owned pointer syntax#25085bors merged 6 commits intorust-lang:masterfrom carols10cents:remove-old-tilde
bors merged 6 commits intorust-lang:masterfrom
carols10cents:remove-old-tilde