Skip to content

Conversation

@drwootton
Copy link

Coverity CID 1498740

Signed-off-by: David Wootton [email protected]

Coverity CID 1498740

Signed-off-by: David Wootton <[email protected]>
@drwootton drwootton requested a review from artpol84 December 12, 2022 21:30
@drwootton drwootton self-assigned this Dec 12, 2022
@drwootton drwootton changed the title Fix missing lock release in oshmem_proc_group_create: Fix missing lock release in oshmem_proc_group_create: Coverity CID 1498740 Dec 12, 2022
@janjust janjust merged commit 1ea2801 into open-mpi:main Dec 16, 2022
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.

3 participants