Rollup of 7 pull requests#31739
Merged
bors merged 19 commits intorust-lang:masterfrom Feb 18, 2016
Merged
Commits
Commits on Feb 11, 2016
Commits on Feb 13, 2016
Commits on Feb 15, 2016
Commits on Feb 16, 2016
Commits on Feb 17, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed