The text 3e619613269b, as Debian 10 (Buster) shipped it.
Notify MPI that a user-defined request is complete
MPI_Grequest_complete(3) on Linux now
