Rollup of 12 pull requests#68248
Merged
bors merged 31 commits intorust-lang:masterfrom Jan 15, 2020 
Merged
Commits
Commits on Jan 1, 2020
Commits on Jan 12, 2020
Commits on Jan 13, 2020
- committed
 - committed
 - committed
 - committed
 - committed
 - committed
 
Commits on Jan 14, 2020
- committed
 - committed
 - committed
 - committed
 - committed
 - committed
 - committed
 - committed
 - committed
 
Commits on Jan 15, 2020
- authored
 - committed
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored