George Bosilca wrote:
> The proper practice based on the MPI Standard will be to call the
> detach function before finalize.
I don't find this described anywhere in the standard. To what
chapter/verse should I point a user to convince them that detach before
finalize is the proper thing to do?