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

Remove mention of reload from the docs; fix #28572 #28644

Merged
merged 3 commits into from
Aug 19, 2018

Conversation

mkborregaard
Copy link
Contributor

I believe reload has been deprecated.

I believe `reload` has been deprecated.
@KristofferC
Copy link
Sponsor Member

KristofferC commented Aug 15, 2018

Trailing whitespace issue

@mkborregaard
Copy link
Contributor Author

Sorry, fixed.

@mkborregaard mkborregaard changed the title Remove mention of reload from the docs Remove mention of reload from the docs; fix #28572 Aug 15, 2018
@fredrikekre
Copy link
Member

Seems to be on the other 3 lines too.

@mkborregaard
Copy link
Contributor Author

:ahhhhhhh:
right - sorry. Fixed.

@KristofferC KristofferC mentioned this pull request Aug 19, 2018
@KristofferC KristofferC merged commit 6458059 into JuliaLang:master Aug 19, 2018
KristofferC pushed a commit that referenced this pull request Aug 19, 2018
* Remove mention of `reload` from the docs

(cherry picked from commit 6458059)
staticfloat pushed a commit that referenced this pull request Aug 24, 2018
* Remove mention of `reload` from the docs
KristofferC pushed a commit that referenced this pull request Sep 8, 2018
* Remove mention of `reload` from the docs

(cherry picked from commit 6458059)
KristofferC pushed a commit that referenced this pull request Sep 8, 2018
* Remove mention of `reload` from the docs

(cherry picked from commit 6458059)
@KristofferC KristofferC added domain:docs This change adds or pertains to documentation and removed backport pending 1.0 labels Sep 27, 2018
KristofferC pushed a commit that referenced this pull request Feb 11, 2019
* Remove mention of `reload` from the docs

(cherry picked from commit 6458059)
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

3 participants