add changelog entry

coq · Mar 6, 2023 · bb11ead · bb11ead
1 parent 8db8935
commit bb11ead
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst b/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst
@@ -0,0 +1,5 @@
+  - **Removed:** :g:`Numbers.Cyclic.ZModulo` from the standard library. This file
+  was deprecated in 8.17 and has no known use cases. It is retained in
+  the test suite to ensure consistency of :g:`CyclicAxioms`
+  (`#17258 <https://github.com/coq/coq/pull/17258>`_,
+  by Andres Erbsen).