Re: [petsc-dev] 4.2 and PETSc