mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

Errata entry of PR #754 in wrong section #747

Closed th-hlrs closed 1 year ago

th-hlrs commented 1 year ago

Problem

Errata entry of PR#754 to Issue https://github.com/mpi-forum/mpi-issues/issues/443 was voted in in February 2023. But its change-log entry is placed in section Changes from Version 3.1 to Version 4.0

Proposal

Move the paragraph to section Changes from Version 4.0 to Version 4.1

Changes to the Text

Move the paragraph to section Changes from Version 4.0 to Version 4.1

Impact on Implementations

None.

Impact on Users

They find the errata where they expect it to be.

wesbland commented 1 year ago

I think there's a similar problem here: https://github.com/mpi-forum/mpi-issues/issues/741

th-hlrs commented 1 year ago

In which sense do you think they are similar? If I am not mistaken, then both entries mentioned in #741 should be in the correct place, but one is redundant. I will write a PR for discussions suggesting to remove the shorter one.