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 typo in doc #28594

Merged
merged 1 commit into from
Aug 13, 2018
Merged

Fix typo in doc #28594

merged 1 commit into from
Aug 13, 2018

Conversation

sgalal
Copy link
Contributor

@sgalal sgalal commented Aug 11, 2018

Add a punctuation

Add a punctuation
@sgalal sgalal changed the title Fix typo Fix typo in doc Aug 12, 2018
@garrison garrison added the domain:docs This change adds or pertains to documentation label Aug 13, 2018
@ViralBShah ViralBShah merged commit 883c8a3 into JuliaLang:master Aug 13, 2018
@garrison
Copy link
Sponsor Member

Thank you for the patch, @chromezh!

@sgalal sgalal deleted the patch-1 branch August 14, 2018 14:13
KristofferC pushed a commit that referenced this pull request Aug 19, 2018
Add a punctuation

(cherry picked from commit 883c8a3)
KristofferC pushed a commit that referenced this pull request Aug 19, 2018
Add a punctuation

(cherry picked from commit 883c8a3)
@KristofferC KristofferC mentioned this pull request Aug 19, 2018
KristofferC pushed a commit that referenced this pull request Aug 19, 2018
Add a punctuation

(cherry picked from commit 883c8a3)
KristofferC pushed a commit that referenced this pull request Sep 8, 2018
Add a punctuation

(cherry picked from commit 883c8a3)
KristofferC pushed a commit that referenced this pull request Sep 8, 2018
Add a punctuation

(cherry picked from commit 883c8a3)
KristofferC pushed a commit that referenced this pull request Feb 11, 2019
Add a punctuation

(cherry picked from commit 883c8a3)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
domain:docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants