Only use old C-style comments in public headers#12811

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

devreal:public-header-c90-commentsdevreal/ompi:public-header-c90-commentsCopy head branch name to clipboard