Skip to content

Print MPI rank if available instead of locality in exception information#822

Merged
msimberg merged 1 commit intopika-org:mainfrom msimberg:exception-info-mpi-rankOct 26, 2023