Rollup of 5 pull requests#71513
Closed
Dylan-DPC-zz wants to merge 15 commits intorust-lang:masterfrom 
Closed
Commits
Commits on Apr 23, 2020
- committed
 - committed
 - committed
 - committed
 - committed
 - committed
 - committed
 
Commits on Apr 24, 2020
- committed
 - committed
arlo - committed
 - authored
 - authored
 - authored
 - authored
 - authored