New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

touch up news entry for #23117 and add link to PR #23196

Merged

ararslan merged 1 commit into JuliaLang:master from Sacha0:newsfixup

Aug 10, 2017

Member

Sacha0 commented Aug 10, 2017

Best! :)


          Touch up news entry for JuliaLang#23117 and add link to PR.

3beee61

ararslan merged commit 8c7f01e into JuliaLang:master

Sacha0 deleted the newsfixup branch

August 10, 2017 17:14

Member Author

Sacha0 commented Aug 10, 2017

Thanks @ararslan! :)

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet