Rolling up PRs in the queue#15377
Merged
bors merged 18 commits intorust-lang:masterfrom Jul 3, 2014
Merged
Commits
Commits on Jul 3, 2014
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed