This repository is for tracking issues related to the MPI Standard. All issues should be created here and reference the repository which holds the source, called mpi-standard.
mpi-standard