v5.0.x: docs: fix typo about --with-ft configure CLI option#13235

Merged

janjust merged 1 commit intoopen-mpi:v5.0.xfrom

jsquyres:pr/v5.0.x/docs-ft-typo-fix

May 6, 2025

Commits on May 5, 2025

docs: fix typo about --with-ft configure CLI option
jsquyres
committed