Add MPI_Abi_get_{info|version}#37

jeffhammond merged 1 commit intomainmpi-forum/mpi-abi-stubs:mainfrom

abi-get-info-versionmpi-forum/mpi-abi-stubs:abi-get-info-versionCopy head branch name to clipboard