Rollup of 11 pull requests#61343
Merged
bors merged 27 commits intorust-lang:masterfrom Centril:rollup-dzsuo01May 30, 2019
+335-201
Commits
Commits on May 15, 2019
Commits on May 27, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 28, 2019
- committed
- committedBastian Germann
Commits on May 29, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 30, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored