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

Clarify documentation of global variables, fixes #44695 #44709

Merged
merged 1 commit into from
Mar 24, 2022
Merged

Clarify documentation of global variables, fixes #44695 #44709

merged 1 commit into from
Mar 24, 2022

Conversation

ceferisbarov
Copy link
Contributor

I read through contribution guidelines and, as far as I understand, there is no need to create a new branch for such a minor PR. Please, let me know if that's not the case.

@fredrikekre fredrikekre changed the title Fixed #44695 Clarify documentation of global variables, fixes #44695 Mar 23, 2022
@kshyatt kshyatt added the docs This change adds or pertains to documentation label Mar 23, 2022
@fredrikekre fredrikekre merged commit 7189c81 into JuliaLang:master Mar 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants