Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Apr 2, 2016

Nothing exciting, just something that caught my eye during #1515.

Signed-off-by: Karol Mroz <mroz.karol@gmail.com>
@hjelmn hjelmn merged commit 4441900 into open-mpi:master Apr 5, 2016
@hjelmn
Copy link
Member

hjelmn commented Apr 5, 2016

We should probably create a roll-up PR for of your ompi_info patches for ompi-release 2.x

@ghost
Copy link
Author

ghost commented Apr 5, 2016

@hjelmn - Agreed. One more that would be good to get reviewed beforehand would be: #1522

Then I can put together a PR with the cherry picked commits and open against ompi-release/v2.x?

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.

2 participants