lib/mpi: replaced MPI_NULL with normal NULL
This page took 0.233416 seconds and 4 git commands to generate.