From bb11ead4c4a4dff9bbfd7f84f2c7105535a544cb Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andres-github@andres.systems>
Date: Mon, 6 Mar 2023 15:26:26 +0000
Subject: [PATCH] add changelog entry

---
 doc/changelog/11-standard-library/17258-remove-Zmodulo.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/11-standard-library/17258-remove-Zmodulo.rst

diff --git a/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst b/doc/changelog/11-standard-library/17258-remove-Zmodulo.rst
new file mode 100644
index 0000000000000..da3c3e73ed3c3
--- /dev/null
+++ 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).