Skip to content
This repository was archived by the owner on Sep 30, 2022. It is now read-only.

Cleanup some misset permissions #1276

Merged
merged 1 commit into from
Jul 27, 2016
Merged

Cleanup some misset permissions #1276

merged 1 commit into from
Jul 27, 2016

Conversation

rhc54
Copy link

@rhc54 rhc54 commented Jul 27, 2016

No description provided.

@jsquyres
Copy link
Member

👍

@jsquyres
Copy link
Member

@hppritcha This is good to go once CI finishes (but it's just perms fixes -- it would be quite surprising if CI fails!)

@mellanox-github
Copy link

Test PASSed.
See http://bgate.mellanox.com/jenkins/job/gh-ompi-release-pr/1976/ for details.

@hppritcha hppritcha merged commit c303db9 into open-mpi:v2.x Jul 27, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants