Sorry folks. I'm not going to be able to make the call today. If others want to have it without me, that's fine.

I made a few tweaks on the PR for Catastrophic errors. You can see the latest version on the pull request here: https://github.com/mpi-forum/mpi-standard/pull/9.

Thanks,

Wesley