[petsc-announce] PETSc 3.12 release