Rolling up PRs in the queue#22192
Merged
bors merged 40 commits intorust-lang:masterfrom Feb 12, 2015
Merged
Commits
Commits on Feb 3, 2015
Commits on Feb 9, 2015
Commits on Feb 10, 2015
Commits on Feb 11, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
