<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

Hi all,

<div class=""><br class="">

</div>

<div class="">Pavan raised an interesting use case for catastrophic errors just now on the issue page: <a href="https://github.com/mpi-forum/mpi-issues/issues/28#issuecomment-319980621" class="">https://github.com/mpi-forum/mpi-issues/issues/28#issuecomment-319980621</a></div>

<div class=""><br class="">

</div>

<div class="">I'm not sure if everyone tracks what's going on there or not, but it would be helpful to have some other feedback on the GitHub issue. For now, I'm going to reopen the issue so we can decide whether we want to move forward.</div>

<div class=""><br class="">

</div>

<div class="">

<div class="">Thanks,</div>

<div class="">Wesley</div>

</div>

</body>

</html>