Rollup of 9 pull requests#61340
Closed
Centril wants to merge 23 commits intorust-lang:masterfrom Centril:rollup-hlsz667
+246-142
Commits
Commits on May 15, 2019
Commits on May 27, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 28, 2019
- committedBastian Germann
Commits on May 29, 2019
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 30, 2019
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored