Rollup of 9 pull requests#41567
Merged
bors merged 26 commits intorust-lang:masterfrom Apr 27, 2017
Merged
Commits
Commits on Apr 18, 2017
Commits on Apr 22, 2017
Commits on Apr 24, 2017
Commits on Apr 25, 2017
Commits on Apr 26, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda
- authoredAriel Ben-Yehuda