Rollup of 9 pull requests#73563
Merged
bors merged 52 commits intorust-lang:masterfrom Manishearth:rollup-oowgwwmJun 21, 2020
Commits
Commits on Jun 15, 2020
Commits on Jun 16, 2020
Commits on Jun 20, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- 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