aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/08-tools/12076-fix-5030.rst
AgeCommit message (Expand)Author
2020-05-27Release notes for 8.12.Théo Zimmermann
2020-05-22[coqchk] Fix #5030Pierre Roux
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 03:30:35 +0000