Rollup of 15 pull requests#64160
Merged
bors merged 51 commits intorust-lang:masterfrom Sep 5, 2019
Merged
Commits
Commits on Aug 28, 2019
Commits on Aug 29, 2019
Commits on Aug 30, 2019
Commits on Aug 31, 2019
Commits on Sep 2, 2019
Commits on Sep 3, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Daniel Henry-Mantilla - committed
- committedDaniel Henry-Mantilla
- committed
- committed
- committed
Commits on Sep 4, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committedGuanqun Lu
- committed
- committed
Commits on Sep 5, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored