1.3.1 pdf manual with wrong date

New to Julia
#1

It says August 4, 2019. Also, it seems like it is about 1.3 release, not 1.3.1

#2

Yeah, the PDF docs deployment is currently not working: https://github.com/JuliaLang/julia/issues/33968.

1 Like