Rollup of 5 pull requests#39933
Merged
bors merged 11 commits intorust-lang:masterfrom Feb 18, 2017
Commits
Commits on Feb 15, 2017
- authored
- committedStjepan Glavina
Commits on Feb 16, 2017
Commits on Feb 17, 2017
- committed
- committed
Commits on Feb 18, 2017
- committed
- authored
- authored
- authored
- authored
- authored