Great renaming: propagate throughout the rest of the codebase#7468
Merged
bors merged 3 commits intorust-lang:masterfrom Jun 30, 2013
emberian:great_renaming
Merged
Great renaming: propagate throughout the rest of the codebase#7468bors merged 3 commits intorust-lang:masterfrom emberian:great_renaming
bors merged 3 commits intorust-lang:masterfrom
emberian:great_renaming