Rollup of 9 pull requests#63592
Merged
bors merged 32 commits intorust-lang:masterfrom Centril:rollup-7c6dg3eAug 15, 2019
+501-223
Commits
Commits on Jul 31, 2019
- committed
- committed
- committed
- committed
Commits on Aug 5, 2019
Commits on Aug 8, 2019
Commits on Aug 10, 2019
Commits on Aug 11, 2019
Commits on Aug 12, 2019
Commits on Aug 13, 2019
Commits on Aug 14, 2019
Commits on Aug 15, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored