Skip to content

Conversation

@jsquyres
Copy link
Member

Signed-off-by: Moritz Kreutzer [email protected]

Refs #5377

(cherry picked from commit d0a770c)

Refs #5377. This is an old master commit that was intended to be cherry-picked to the release branches, but we forgot about it. Found during 2018-09-14 bug scrub.

Signed-off-by: Moritz Kreutzer <[email protected]>

Refs open-mpi#5377

(cherry picked from commit d0a770c)
@jsquyres jsquyres added this to the v3.1.3 milestone Sep 14, 2018
@jsquyres jsquyres requested a review from hppritcha September 14, 2018 18:09
@jsquyres
Copy link
Member Author

Talked with @bwbarrett verbally; merging...

@jsquyres jsquyres merged commit 2339a4b into open-mpi:v3.1.x Sep 17, 2018
@jsquyres jsquyres deleted the pr/v3.1.x/xpmem-configure-output-fix branch September 17, 2018 15:20
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.

2 participants