carta

MPI_Comm_disconnect(3) on Linux

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

Disconnect from a communicator

MPI_Comm_disconnect(3) on Linux now