Rollup of 15 pull requests#59910
Merged
bors merged 33 commits intorust-lang:masterfrom Apr 12, 2019
Merged
Commits
Commits on Apr 3, 2019
Commits on Apr 4, 2019
Commits on Apr 8, 2019
Commits on Apr 9, 2019
Commits on Apr 10, 2019
- committed
- committedChristian
- committedChristian
- committedJethro Beekman
Commits on Apr 11, 2019
- committed
- committed
- committed
- authored
- authored
- committed
- committed
Commits on Apr 12, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored