Rollup of 8 pull requests#63583
Closed
Centril wants to merge 24 commits intorust-lang:masterfrom 
Closed
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 12, 2019
Commits on Aug 13, 2019
Commits on Aug 14, 2019
Commits on Aug 15, 2019
- authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored