sharedfp/sm and lockedfile: fix naming bug#5607

hppritcha merged 1 commit intoopen-mpi:v4.0.xopen-mpi/ompi:v4.0.xfrom

edgargabriel:pr/sharedfp-naming-conflict-v4.0edgargabriel/ompi:pr/sharedfp-naming-conflict-v4.0Copy head branch name to clipboard