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