Skip to content

Conversation

bureddy
Copy link
Member

@bureddy bureddy commented Jul 1, 2020

Signed-off-by: Devendar Bureddy [email protected]

@yosefe
Copy link
Contributor

yosefe commented Jul 1, 2020

why is this needed?

@awlauria
Copy link
Contributor

awlauria commented Jul 1, 2020

Please add the -x to the cherry-pick, so we know what master commit it came from. Thanks!

@awlauria
Copy link
Contributor

awlauria commented Jul 1, 2020

@yosefe are you asking about the change in general or why it is needed for 4.1? Master/5.0 pr is here:
#7893

Signed-off-by: Devendar Bureddy <[email protected]>
(cherry picked from commit 2547e24)
@jsquyres jsquyres added this to the v4.1.0 milestone Jul 14, 2020
Copy link
Member

@jsquyres jsquyres left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please add the -x to the cherry-pick, so we know what master commit it came from. Thanks!

@jsquyres jsquyres dismissed their stale review August 17, 2020 19:13

It's in the commit message, not in the PR message. Dismissed this "request changes". :-)

@lanl-ompi
Copy link
Contributor

Can one of the admins verify this patch?

@jsquyres jsquyres modified the milestones: v4.1.0, v4.1.1 Dec 18, 2020
@rajachan rajachan requested a review from a team February 8, 2021 20:22
@rajachan rajachan merged commit 2511f97 into open-mpi:v4.1.x Feb 9, 2021
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.

8 participants