Skip to content

Conversation

@yishengjin1413
Copy link
Contributor

@yishengjin1413 yishengjin1413 commented Jul 31, 2018

@mairaw mairaw removed the WIP label Aug 1, 2018
@mairaw
Copy link
Contributor

mairaw commented Aug 1, 2018

Number of warnings now match the number from master branch. Merging this. Thanks @yishengjin1413 and @rpetrusha for your help!

@mairaw mairaw merged commit e3f6f82 into dotnet:master Aug 1, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants