[Mpi-forum] No-no vote for PR #714 Issue #580

Hi All, Apologies that I did not send this sooner. We incorporated two small changes at the Hybrid WG meeting on March 1st that I would like to process with a no-no vote this week. Here are the links: https://github.com/mpi-forum/mpi-standard/pull/714/commits/03318ba23b293bf4b... https://github.com/mpi-forum/mpi-standard/pull/714/commits/3a024ba2af890ed79... Thanks, ~Jim.