The text b3726bd9343e, as Debian 10 (Buster) shipped it.
Frees a group.
MPI_Group_free.openmpi(3) on Linux now
