Re: [petsc-dev] Q/A: submiminor on PETSc