mpi-ext.h: include <mpi.h>#12122

jsquyres wants to merge 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

jsquyres:pr/make-mpi-ext-h-include-mpi-hjsquyres/ompi:pr/make-mpi-ext-h-include-mpi-hCopy head branch name to clipboard