Skip to content

Conversation

glihm
Copy link
Contributor

@glihm glihm commented Jul 25, 2020

Summary

Fix some typos, thanks to the comment given by @Rodhern.
Sorry for that.

@dotnet-bot dotnet-bot added this to the July 2020 milestone Jul 25, 2020
glihm referenced this pull request Jul 25, 2020
Co-authored-by: glihm <glihm@outlook.fr>
Copy link

@Rodhern Rodhern left a comment

Choose a reason for hiding this comment

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

I am not all that used to the Github user interface, but I found an 'Approve' button (clicking it now).

Copy link
Contributor

@gewarren gewarren left a comment

Choose a reason for hiding this comment

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

LGTM. Thank you!

@gewarren gewarren merged commit 41b056e into dotnet:master Aug 3, 2020
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.

4 participants