MPI_Comm_disconnect.openmpi(3) on Linux

The text 3a4c249f4be1, as Debian 8 (Jessie) shipped it.

Deallocates communicator object and sets handle to MPI_COMM_NULL.