Please add to https://github.com/mpi-forum/mpi-issues/issues, if you can. Thanks, Jeff On Wed, May 31, 2017 at 9:24 PM, Phil Ruffwind <[email protected]> wrote:

...

Can you add a ticket about this? Collectives WG seems like the right place...

Here? https://github.com/mpiwg-coll/coll-issues

Or here? https://github.com/mpi-forum/mpi-issues/issues

-- Jeff Hammond [email protected] http://jeffhammond.github.io/