Skip to content

Conversation

@ggouaillardet
Copy link
Contributor

@ggouaillardet ggouaillardet commented Apr 25, 2017

Fixes #3409

Thanks Nathan T. Weeks for the report

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

Refs. open-mpi#3409

Thanks Nathan T. Weeks for the report

Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
@jsquyres
Copy link
Member

@ggouaillardet Looks like we also need this in v2.x, master, and v3.x. Could you file PRs?

@bwbarrett @hppritcha Here's another small / low risk bug fix that will be needed on v3.0.x.

@jsquyres
Copy link
Member

I'm not marking this as "RM approved" yet because it doesn't look like this has been committed on master yet. 😲

@ggouaillardet ggouaillardet merged commit 384387b into open-mpi:master May 17, 2017
@jsquyres
Copy link
Member

(...oh, I see that I mis-parsed this: this PR is for master. I got confused because I saw the v2.0.3 milestone, so I was thinking it was the v2.0.x PR)

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