Re: [mpiwg-coll] MPI-3.1 ticket 0 change (was ticket 420)