Skip to content

Conversation

@igor-ivanov
Copy link
Member

Changed $project_shmem with $project_oshmem

Changed $project_shmem with $project_oshmem
@jsquyres
Copy link
Member

👍 Good catch; thanks.

@jsquyres
Copy link
Member

Please add the final commit hash from this PR to #1450 when you merge so that we include it in the PR to v2.x. Thanks!

@hjelmn
Copy link
Member

hjelmn commented Mar 17, 2016

bot:retest

igor-ivanov added a commit that referenced this pull request Mar 17, 2016
@igor-ivanov igor-ivanov merged commit d819939 into open-mpi:master Mar 17, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants