Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Jan 5, 2016

Make a PR to screw around with some travis stuff.

@jsquyres jsquyres force-pushed the pr/travis branch 2 times, most recently from 79714e6 to 820ed78 Compare January 5, 2016 18:38
jsquyres added a commit that referenced this pull request Jan 5, 2016
@jsquyres jsquyres merged commit 335e8bd into open-mpi:master Jan 5, 2016
@jsquyres jsquyres deleted the pr/travis branch January 5, 2016 20:09
jsquyres pushed a commit to jsquyres/ompi that referenced this pull request Aug 23, 2016
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.

1 participant