Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Sep 6, 2016

Signed-off-by: Jeff Squyres [email protected]

@jsquyres jsquyres merged commit b811b0a into open-mpi:master Sep 7, 2016
@jsquyres jsquyres deleted the pr/remove-unused-var branch September 7, 2016 10:33
@jjhursey
Copy link
Member

jjhursey commented Sep 7, 2016

It looks like this was missed as part of PR #2047. Thanks for catching it. I can add it to the PR open-mpi/ompi-release#1354 so it get rolled in with those changes, if that's ok with you.

@jsquyres
Copy link
Member Author

jsquyres commented Sep 7, 2016

@jjhursey Sure, that'd be great. Thanks!

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