Rollup of 17 pull requests#31643
Merged
bors merged 32 commits intorust-lang:masterfrom Feb 14, 2016
Merged
Commits
Commits on Feb 10, 2016
Commits on Feb 11, 2016
Commits on Feb 12, 2016
- committed
- committed
- committed
- committed
- committed
Commits on Feb 13, 2016
- committed
petevine - committed
- committedRobin Kruppe
- committedRobin Kruppe
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
