Skip to content

Conversation

@oxinabox
Copy link
Contributor

@oxinabox oxinabox commented Sep 2, 2020

Follow up to #34518

This is not present in julia 1.4, but is present in julia 1.5

@fredrikekre fredrikekre added backport 1.5 docs This change adds or pertains to documentation labels Sep 2, 2020
@fredrikekre fredrikekre merged commit 3453a5c into JuliaLang:master Sep 3, 2020
@KristofferC KristofferC mentioned this pull request Sep 7, 2020
29 tasks
KristofferC pushed a commit that referenced this pull request Sep 7, 2020
KristofferC pushed a commit that referenced this pull request Sep 8, 2020
KristofferC pushed a commit that referenced this pull request Sep 10, 2020
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.

3 participants