It says August 4, 2019. Also, it seems like it is about 1.3 release, not 1.3.1
Yeah, the PDF docs deployment is currently not working: https://github.com/JuliaLang/julia/issues/33968.
1 Like
It says August 4, 2019. Also, it seems like it is about 1.3 release, not 1.3.1
Yeah, the PDF docs deployment is currently not working: https://github.com/JuliaLang/julia/issues/33968.