MPI_Buffer_detach.openmpi(3) on Linux

The text 8cd0f3a20d86, as Debian 10 (Buster) shipped it.

Removes an existing buffer (for use in MPI_Bsend, etc.)

MPI_Buffer_detach.openmpi(3) on Linux now