Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix some typos #28101

Merged
merged 1 commit into from Jun 6, 2017
Merged

fix some typos #28101

merged 1 commit into from Jun 6, 2017

Conversation

jens1o
Copy link
Contributor

@jens1o jens1o commented Jun 6, 2017

I digged into the debugging code and found some typos, I fixed them.

There is actually a misspelled property, I just added a todo note, so extensions won't break.

@msftclas
Copy link

msftclas commented Jun 6, 2017

@jens1o,
Thanks for your contribution.
To ensure that the project team has proper rights to use your work, please complete the Contribution License Agreement at https://cla.microsoft.com.

It will cover your contributions to all Microsoft-managed open source projects.
Thanks,
Microsoft Pull Request Bot

@msftclas
Copy link

msftclas commented Jun 6, 2017

@jens1o, thanks for signing the contribution license agreement. We will now validate the agreement and then the pull request.

Thanks, Microsoft Pull Request Bot

@michelkaporin michelkaporin requested review from isidorn and removed request for isidorn June 6, 2017 13:39
@isidorn
Copy link
Contributor

isidorn commented Jun 6, 2017

@jens1o Thanks
@alexandrudima you might want to fix the typo Jens found

@isidorn isidorn merged commit 1014f26 into microsoft:master Jun 6, 2017
@jens1o jens1o deleted the fix-typos branch June 6, 2017 14:02
@alexdima
Copy link
Member

alexdima commented Jun 6, 2017

Thanks! Done in d167d92

alexdima added a commit that referenced this pull request Jun 6, 2017
@roblourens roblourens modified the milestone: June 2017 Jun 30, 2017
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants