Skip to content

Conversation

@joaobfernandes0
Copy link
Contributor

osc/rdma: removed deadlock in find dynamic region

Signed-off-by: João Batista Fernandes [email protected]

(cherry picked from commit 9779b99)

osc/rdma: removed deadlock in find dynamic region

Signed-off-by: João Batista Fernandes <[email protected]>
(cherry picked from commit 9779b99)
@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@joaobfernandes0 joaobfernandes0 changed the title Pull request #10473 from jotabf/patch-2 Pull request #10518 from jotabf/patch-2 Jun 27, 2022
@jsquyres
Copy link
Member

ok to test

@gpaulsen
Copy link
Member

bot:aws:retest

1 similar comment
@gpaulsen
Copy link
Member

bot:aws:retest

@jsquyres jsquyres added this to the v4.1.5 milestone Jun 30, 2022
@jsquyres
Copy link
Member

@jotabf Is there a reason this PR is still marked as a draft?

@joaobfernandes0 joaobfernandes0 marked this pull request as ready for review June 30, 2022 14:22
@joaobfernandes0
Copy link
Contributor Author

@jsquyres My mistake. It's ready.

@jsquyres jsquyres changed the title Pull request #10518 from jotabf/patch-2 v4.1.x: Pull request #10518 from jotabf/patch-2 Jun 30, 2022
@jsquyres jsquyres changed the title v4.1.x: Pull request #10518 from jotabf/patch-2 v4.1.x: osc/rdma: removed deadlock in find dynamic region Jun 30, 2022
@jsquyres jsquyres merged commit c3a3cc3 into open-mpi:v4.1.x Jun 30, 2022
@joaobfernandes0 joaobfernandes0 deleted the v4.1.x-patch-2 branch October 20, 2022 14:40
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.

5 participants