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

docs: remove words that may dup #14257

Closed
wants to merge 1 commit into from
Closed

docs: remove words that may dup #14257

wants to merge 1 commit into from

Conversation

helight
Copy link

@helight helight commented Dec 3, 2020

remove words that may dup

@phlax
Copy link
Member

phlax commented Dec 3, 2020

hi @helight lgtm

its also a dupe of #14237 - but that PR is missing DCO

@helight
Copy link
Author

helight commented Dec 3, 2020

ok, I will close this pr

@helight helight closed this Dec 3, 2020
@helight helight deleted the fix_doc_words_dup branch December 3, 2020 11:25
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