Re: [petsc-dev] mpi_comm_create_group()