Rollup of 8 pull requests#47993
Closed
kennytm wants to merge 20 commits into
Closed
Commits
Commits on Jan 30, 2018
Commits on Jan 31, 2018
Commits on Feb 3, 2018
Commits on Feb 4, 2018
- authored
- authored
- authored
Rollup merge of #47896 - zackmdavis:and_the_case_of_the_necessary_unnecessary_parens, r=nikomatsakis
authored- authored
- authored
- authored
- authored