[v5.0.x] Minor fixes: comment correction and spelling "Registration"#12287
Merged
wenduwan merged 2 commits intoopen-mpi:v5.0.xfrom Feb 8, 2024
Merged
[v5.0.x] Minor fixes: comment correction and spelling "Registration"#12287wenduwan merged 2 commits intoopen-mpi:v5.0.xfrom
wenduwan merged 2 commits intoopen-mpi:v5.0.xfrom
Commits
Commits on Feb 8, 2024
- authored andcommitted
- authored andcommitted
