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: PDF docs deployment broken · Issue #33968 · JuliaLang/julia · GitHub.

1 Like