carta

MPI_Free_mem(3) on Linux

The text 8d505ba096ac, as Debian 9 (Stretch) shipped it.

Free memory allocated with MPI_Alloc_mem

MPI_Free_mem(3) on Linux now