Re: [petsc-dev] [petsc-users] New PETSc website, documentation and 3.15.1 patch release

On Fri, 18 Jun 2021, Victor Eijkhout wrote:

On , 2021Jun18, at 09:19, Satish Balay <[email protected]<mailto:[email protected]>> wrote:

https://petsc.org/release

If you called it “Petsc 3.15” instead of “Petsc 3.15 documentation” it would be perfectly clear.

Fix at: https://gitlab.com/petsc/petsc/-/merge_requests/4109 Satish