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