[petsc-dev] changes coming to PETSc master branch