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