carta

MPIX_Comm_revoke(3) on Linux

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

Prevent a communicator from being used in the future

MPIX_Comm_revoke(3) on Linux now