Skip to content

Conversation

@CyrusNajmabadi
Copy link
Member

Extracted from #41510 to make that PR easier to review.

@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner February 8, 2020 11:21
@CyrusNajmabadi
Copy link
Member Author

Tagging @mavasani

@mavasani mavasani self-assigned this Feb 9, 2020
@jinujoseph jinujoseph added Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Feb 10, 2020
@mavasani mavasani merged commit dd19218 into dotnet:master Feb 10, 2020
@CyrusNajmabadi
Copy link
Member Author

Thanks!

@CyrusNajmabadi CyrusNajmabadi deleted the extractType branch February 10, 2020 17:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants