Hi all,

Based on the March reading, I have no-no changes for #799 and would, provided that those pass, like to bring it to a first vote in May.

PR: https://github.com/mpi-forum/mpi-standard/pull/799/

No-no diff:
https://github.com/mpi-forum/mpi-standard/pull/799/files/5391d71c0c14a0fdac46b02b89adb8b1d8b376b6..30b7c48fbeb768d1c92d9613a2b11d40f5d66855#diff-eb09d81630393fd245199526c9920a08936d392a246ba302d99caa7b9865447b

Issue: https://github.com/mpi-forum/mpi-issues/issues/519

Cheers,
Bill

--
Bill Williams
Wiss. Mitarbeiter
ZIH-IAK, TU-Dresden
Falkenbrunnen, Room 009
Chemnitzer Straße 50
01187 Dresden
Phone:  +49 351 463-39976