Skip to content

Conversation

@mairaw
Copy link
Contributor

@mairaw mairaw commented Jun 8, 2018

Fixes #5862

Copy link
Contributor

@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.

LGTM. This is ready to merge, @mairaw.

@mairaw mairaw merged commit 19a06d4 into dotnet:master Jun 8, 2018
@mairaw mairaw deleted the mairaw-patch-9 branch June 8, 2018 23:43
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