Rollup of 8 pull requests#67356
Merged
bors merged 22 commits intorust-lang:masterfrom Centril:rollup-paaw3juDec 16, 2019
+134-70
Commits
Commits on Dec 11, 2019
Commits on Dec 12, 2019
Commits on Dec 15, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 16, 2019
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored