Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge PR coq#18001: Make changelog items uniformly without a period b…
…efore the parenthesis Reviewed-by: Zimmi48 Reviewed-by: JasonGross Co-authored-by: Zimmi48 <[email protected]>