Rollup of 9 pull requests#61296
Merged
bors merged 40 commits intorust-lang:masterfrom May 29, 2019
Merged
Commits
Commits on May 18, 2019
Commits on May 21, 2019
Commits on May 25, 2019
Commits on May 26, 2019
Commits on May 28, 2019
- committed
- committed
- committed
- committed
- committedClaude-Alban RANÉLY-VERGÉ-DÉPRÉ
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored