Open
Description
Problem
PR https://github.com/mpi-forum/mpi-standard/pull/904/ was voted in as errata in September 2024, but the change-log entry is in section changes 4.0 -> 4.1.
Proposal
Fix by moving it to errata fixed in 5.0.
References and Pull Requests
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Had Reading