Rolling up PRs in the queue#13326
Merged
bors merged 9 commits intorust-lang:masterfrom Apr 5, 2014
Merged
Commits
Commits on Apr 4, 2014
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- authored andcommitted
- committed