Rollup of 11 pull requests#68470
Closed
tmandry wants to merge 30 commits intorust-lang:masterfrom 
Closed
Commits
Commits on Jan 15, 2020
Commits on Jan 19, 2020
- committed
Tobias Kortkamp - committed
Victor Ding 
Commits on Jan 20, 2020
Commits on Jan 21, 2020
- committed
 - committed
 - committed
 - committed
 - committed
 - committed
 - authored andcommitted
 - authored andcommitted
 - authored andcommitted
 
Commits on Jan 22, 2020
- committed
 - committed
 - committed
Victor Ding - committed
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored