MPI_Wait missing "deallocated"

[AndrewGaspar]

Problem

The MPI_Wait description for what happens to the request object when the request completes is incomplete. In the copy of the MPI 3.1 standard currently available on mpi-forum.org, request completion is described as:

"Any other type of request is and the request handle is set to MPI_REQUEST_NULL."

Proposal

This should presumably say the request is "deallocated" based on the other request completion routine descriptions.

Changes to the Text

Changes in bold.

"Any other type of request is deallocated and the request handle is set to MPI_REQUEST_NULL."

Impact on Implementations

None - this behavior was documented correctly as recently as MPI 2.2 and the requirement is obvious. I believe all implementations currently have the correct behavior here.

Impact on Users

None.

References

[AndrewGaspar]

Nevermind, I see #45 now.