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

[Victor Eijkhout]

On , 2021Jun18, at 09:19, Satish Balay 
<ba...@mcs.anl.gov<mailto:ba...@mcs.anl.gov>> wrote:

https://petsc.org/release

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

Victor.