Rollup of 13 pull requests#61510
Merged
bors merged 43 commits intorust-lang:masterfrom Jun 4, 2019
Commits
Commits on May 24, 2019
Commits on May 25, 2019
Commits on May 31, 2019
Commits on Jun 1, 2019
Commits on Jun 2, 2019
Commits on Jun 3, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 4, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored