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
