mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

Closed wesbland closed 1 year ago

wesbland commented 1 year ago

Problem

From @mknobi:

p783:14 "were removed" instead of "are removed" p784:28 "were removed" instead of "are removed"