Skip to content

Conversation

@abouteiller
Copy link
Member

Propagate pull #6417 to v3.1.x

Signed-off-by: Aurelien Bouteiller [email protected]

disjoint communicator with inconsistent cid.

Signed-off-by: Aurelien Bouteiller <[email protected]>
@abouteiller abouteiller changed the title Cart/Graph create would not run the next_cid algorithm v3.1.x: Cart/Graph create would not run the next_cid algorithm Feb 22, 2019
@jsquyres jsquyres added this to the v3.1.4 milestone Feb 25, 2019
@jsquyres
Copy link
Member

@bwbarrett This one went in on master and v4.0.x already.

@bwbarrett bwbarrett merged commit 0eece12 into open-mpi:v3.1.x Mar 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants