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

Merged

ararslan merged 1 commit intoJuliaLang:masterfrom

Sacha0:newsfixup

Aug 10, 2017

Commits on Aug 10, 2017

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