Closed lukashuebner closed 3 months ago
If the communicator has already been revoked by another process, we don't need to re-revoke it. (Now possible, because #662 is merged).
If the communicator has already been revoked by another process, we don't need to re-revoke it. (Now possible, because #662 is merged).