carta

MPI_Session_get_pset_info(3) on Linux

The text ab48f04d5d1e, as Debian 12 (Bookworm) shipped it.

Get the info associated with the processes set

MPI_Session_get_pset_info(3) on Linux now