Re: [petsc-dev] Commit squashing in MR