Rollup of 14 pull requests#54944
Closed
pietroalbini wants to merge 35 commits intorust-lang:masterfrom
Commits
Commits on Oct 2, 2018
Commits on Oct 4, 2018
Commits on Oct 5, 2018
Commits on Oct 6, 2018
Commits on Oct 7, 2018
Commits on Oct 8, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 9, 2018
- authored andMatthew RussocommittedMatthew Russo
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored