Rollup of 22 pull requests#63015
Merged
bors merged 52 commits intorust-lang:masterfrom Jul 26, 2019
Merged
Commits
Commits on Jul 4, 2019
Commits on Jul 11, 2019
Commits on Jul 13, 2019
Commits on Jul 15, 2019
Commits on Jul 18, 2019
- committed
- committed
Commits on Jul 19, 2019
Commits on Jul 20, 2019
Commits on Jul 22, 2019
- committed
Commits on Jul 23, 2019
Commits on Jul 24, 2019
Commits on Jul 25, 2019
- committed
- committed
- committed
- committed
- committed
Commits on Jul 26, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored