Commit 56dadd70 authored by Keith Bennett's avatar Keith Bennett

Merge branch 'keith/fix_mpi_info' into 'master'

Fix bug when calling MPI_INFO_GET_NKEYS

See merge request !31
parents 4aeb6f1b 395256e4
Pipeline #5423 passed with stage
in 29 seconds