dart/mpi: Correctly use MPI_DATATYPE_NULL to denote an invalid type#709
Merged
devreal merged 1 commit intodash-project:developmentfrom bertwesarg:fix-dart-mpi-type-cont-maxJun 9, 2020
+7-8
MPI_DATATYPE_NULL to denote an invalid type#709