Skip to content

Conversation

@xinzhao3
Copy link
Contributor

@xinzhao3 xinzhao3 commented May 2, 2018

cherry-picked from #5134

Signed-off-by: Xin Zhao <xinz@mellanox.com>
@xinzhao3
Copy link
Contributor Author

xinzhao3 commented May 2, 2018

@hjelmn @bwbarrett

@hjelmn hjelmn self-requested a review May 2, 2018 20:58
@hjelmn hjelmn self-assigned this May 2, 2018
@hjelmn hjelmn added this to the v3.1.0 milestone May 2, 2018
@xinzhao3
Copy link
Contributor Author

xinzhao3 commented May 2, 2018

@jladd-mlnx @hjelmn looks like I am not authorized to merge. Can we merge this one?

@jsquyres
Copy link
Member

jsquyres commented May 2, 2018

@xinzhao3 The release managers are the only ones with merge authority on the release branches.

@xinzhao3
Copy link
Contributor Author

xinzhao3 commented May 2, 2018

@jsquyres I see. Thanks for your clarify.

@bwbarrett bwbarrett merged commit 638c949 into open-mpi:v3.1.x May 3, 2018
@xinzhao3 xinzhao3 deleted the topic/osc-priori-3.1.x branch May 3, 2018 18:30
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.

4 participants