Skip to content

Conversation

@davideberius
Copy link
Contributor

Renamed the communicator to a more appropriate name to avoid naming collisions.

Signed-off-by: David Eberius <[email protected]>
@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@bosilca
Copy link
Member

bosilca commented Apr 3, 2019

ok to test

@gpaulsen gpaulsen self-requested a review April 8, 2019 19:25
@jsquyres jsquyres merged commit 9bb8fd5 into open-mpi:master Apr 9, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants