Re: [petsc-dev] [mpich-discuss] Is mpich/master:a8a2b30fd21 tested with Petsc?