Skip to content

Issue 5527 rename types#15091

Merged
bors merged 2 commits intorust-lang:masterfrom
nikomatsakis:issue-5527-rename-types
Jun 22, 2014

Commits

Commits on Jun 22, 2014