Rollup of 26 pull requests#57542
Merged
bors merged 73 commits intorust-lang:masterfrom Jan 12, 2019
Merged
Commits
Commits on Dec 2, 2018
Commits on Dec 12, 2018
Commits on Dec 21, 2018
Commits on Jan 3, 2019
- committed
Commits on Jan 6, 2019
Commits on Jan 7, 2019
- committed
- committed
- committed
- committed
Commits on Jan 8, 2019
- committed
- committed
- committedVardhan Thigle
- committed
- committed
- committed
Commits on Jan 9, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committedVardhan Thigle
- committed
Commits on Jan 10, 2019
Commits on Jan 11, 2019
- authored
- committed
- committedJethro Beekman
- committed
- authored
- committed
- authored
- authored
Commits on Jan 12, 2019
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored