Rollup of 11 pull requests#60986
Merged
bors merged 25 commits intorust-lang:masterfrom May 21, 2019
Commits
Commits on Apr 30, 2019
Commits on May 1, 2019
Commits on May 2, 2019
Commits on May 4, 2019
Commits on May 14, 2019
Commits on May 17, 2019
Commits on May 18, 2019
- committed
Commits on May 19, 2019
Commits on May 20, 2019
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored