Rollup of 3 pull requests#59575
Merged
bors merged 7 commits intorust-lang:masterfrom Mar 31, 2019
Merged
Commits
Commits on Mar 25, 2019
Commits on Mar 30, 2019
- committedChristian
- committedChristian
- committedBastian Gruber
- authored
- authored
- authored