Skip to content

portals4: use PtlHandleIsEqual() to compare handles#12713

Merged
tkordenbrock merged 1 commit intoopen-mpi:mainfrom tkordenbrock:topic/main/portals4-use-PtlHandleIsEqualAug 20, 2024

Commits

Commits on Aug 13, 2024