Minor cleanups now that #9629 is fixed#10930
Merged
bors merged 3 commits intorust-lang:masterfrom Dec 21, 2013
Commits
Commits on Dec 21, 2013
- authored andPalmer Coxcommitted“Palmer
- authored andPalmer Coxcommitted“Palmer
- authored andPalmer Coxcommitted“Palmer