Skip to content

Conversation

ggouaillardet
Copy link
Contributor

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
@ggouaillardet
Copy link
Contributor Author

@matcabral FYI

@jsquyres
Copy link
Member

jsquyres commented Feb 6, 2019

Git clone error on the cray. Trying again.

bot:ompi:retest

@jsquyres
Copy link
Member

jsquyres commented Feb 6, 2019

@ggouaillardet I incorporated the commit from this PR in #6363. Closing this PR without merging.

@jsquyres jsquyres closed this Feb 6, 2019
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