Michael Soegtrop (May 27 2021 at 07:49): Michael Soegtrop (May 27 2021 at 07:49):I just found that there is a strange changelog entry (I missed it during review and merged it):
https://github.com/coq/coq/tree/master/doc/changelog/10-standard-library/14087-q-lemmas
Is this OK or should this be brought to the same format as the others?
Gaëtan Gilbert (May 27 2021 at 08:51):you can't see it in https://coq.github.io/doc/master/refman/changes.html so it's bad
Théo Zimmermann (May 27 2021 at 09:44):Indeed, this should be fixed.
Michael Soegtrop (May 27 2021 at 17:53):OK, I will do a PR.
Last updated: Oct 08 2024 at 14:01 UTC