Re: [Mpi3-ft] MPI_ERRORS_ARE_FATAL clarification ticket