Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge pull request #6 from ICLDisco/master #5

Merged
merged 1 commit into from
Aug 8, 2016

Conversation

eddy16112
Copy link
Collaborator

update to most recent disco ompi

update to most recent disco ompi
@eddy16112 eddy16112 merged commit 89b2aeb into ICLDisco:master Aug 8, 2016
@thananon
Copy link
Collaborator

thananon commented Aug 8, 2016

Noooo, what did you do???/!?

@bosilca
Copy link

bosilca commented Aug 8, 2016

Don't pull it, I will alter the history asap.

@eddy16112
Copy link
Collaborator Author

There is a revert button on this page, but it will create another pull request to revert

@thananon
Copy link
Collaborator

thananon commented Aug 8, 2016

what?! that sounds very bad. 😿

dong0321 pushed a commit that referenced this pull request Sep 26, 2018
Complete first round of repairs - the DVM now works again, but there …
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants