Skip to content

Conversation

@jsquyres
Copy link
Member

Signed-off-by: Jeff Squyres [email protected]
(cherry picked from commit cc4bb43)

From master PR #4925

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit cc4bb43)
@jsquyres jsquyres added the bug label Mar 20, 2018
@jsquyres jsquyres added this to the v3.1.1 milestone Mar 20, 2018
@jsquyres jsquyres requested a review from hjelmn March 20, 2018 03:15
@hppritcha hppritcha requested review from hppritcha and removed request for hjelmn April 10, 2018 18:56
@bwbarrett bwbarrett merged commit 3657f5b into open-mpi:v3.1.x May 14, 2018
@jsquyres jsquyres deleted the pr/v3.1.x/mpool-memkind-typo-fix branch September 28, 2018 16:05
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