Re: [petsc-dev] Open PRs to be merged for release 3.7