Skip to content

Conversation

pkulikov
Copy link
Contributor

@pkulikov pkulikov commented Aug 8, 2019

No description provided.

@rpetrusha rpetrusha added this to the August 2019 milestone Aug 8, 2019
Copy link

@rpetrusha rpetrusha left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for catching these errors, @pkulikov. I'll merge your PR now.

@rpetrusha rpetrusha merged commit f0e2c29 into dotnet:master Aug 8, 2019
@pkulikov pkulikov deleted the patch-1 branch August 8, 2019 07:54
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