Fix build error for build configured with --without-ft#13366
Merged
abouteiller merged 1 commit intoopen-mpi:mainfrom Aug 16, 2025
Merged
Fix build error for build configured with --without-ft#13366abouteiller merged 1 commit intoopen-mpi:mainfrom
abouteiller merged 1 commit intoopen-mpi:mainfrom
