Re: [Mpi-comments] MPI_Is_thread_main: usage allowed for any thread in MPI_THREAD_FUNNELED mode?