Rolling up PRs in the queue#14187
Merged
bors merged 33 commits intorust-lang:masterfrom May 14, 2014
Merged
Commits
Commits on May 14, 2014
- committed
- 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
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored andcommitted
- committed