Skip to content

Update man pages to clarify MPI-4 error handlers#11015

Merged
jjhursey merged 1 commit intoopen-mpi:mainfrom
drwootton:manpage_error_text
Nov 15, 2022

Commits

Commits on Nov 14, 2022