We'll meet today to discuss the proposed memory allocation kinds erratum: https://github.com/mpi-forum/mpi-standard/pull/946

Cheers,

 ~Jim.