Move MPI Standard version to VERSION file#10683

jjhursey merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

jjhursey:mpi_version_configjjhursey/ompi:mpi_version_configCopy head branch name to clipboard