Re: [petsc-dev] changes coming to PETSc master branch