Rolling up PRs in the queue#14783
Merged
bors merged 11 commits intorust-lang:masterfrom Jun 10, 2014
Merged
Commits
Commits on Jun 10, 2014
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed