1.3.1 pdf manual with wrong date

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