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