Rollup of 9 pull requests#54319
Merged
bors merged 25 commits intorust-lang:masterfrom Sep 18, 2018
Commits
Commits on Aug 21, 2018
Commits on Sep 10, 2018
Commits on Sep 13, 2018
Commits on Sep 14, 2018
Commits on Sep 15, 2018
Commits on Sep 16, 2018
Commits on Sep 17, 2018
- committed
- committed
- committedAlva Snædís
- committed
- committedAlva Snædís
Commits on Sep 18, 2018
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored