Skip to content

Conversation

@tlienart
Copy link
Contributor

@tlienart tlienart commented Nov 2, 2020

propogation -> propagation

There's also a bunch of issue links that are missing (#37410, #37247, #37540, #37973, #37461, #37753) but it seems there's a script that generates the links so I'm assuming that will be fixed automatically (?)

There's also a bunch of issue links that are missing (#37410, #37247, #37540, #37973, #37461, #37753) but it seems there's a script that generates the links so I'm assuming that will be fixed automatically.
@rfourquet
Copy link
Member

rfourquet commented Nov 2, 2020

t seems there's a script that generates the links so I'm assuming that will be fixed automatically (?)

Yes! (doc/NEWS-update.jl).

@ViralBShah ViralBShah merged commit 8fc3221 into JuliaLang:master Nov 10, 2020
@ViralBShah ViralBShah added the docs This change adds or pertains to documentation label Nov 10, 2020
achuchmala pushed a commit to achuchmala/julia that referenced this pull request Nov 11, 2020
There's also a bunch of issue links that are missing (JuliaLang#37410, JuliaLang#37247, JuliaLang#37540, JuliaLang#37973, JuliaLang#37461, JuliaLang#37753) but it seems there's a script that generates the links so I'm assuming that will be fixed automatically.

Co-authored-by: Viral B. Shah <[email protected]>
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