Remove spurious period in changelog entries

coq · Feb 13, 2024 · fe09144 · fe09144
1 parent 79b0a1a
commit fe09144
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/doc/changelog/11-standard-library/18500-deprecations_in_Numbers.rst b/doc/changelog/11-standard-library/18500-deprecations_in_Numbers.rst
@@ -8,6 +8,6 @@
   have been deprecated.
   Users should require ``Coq.Arith.PeanoNat`` or ``Coq.Arith.NArith.BinNat``
   if they want implementations of natural numbers and
-  ``Coq.Arith.ZArith.BinInt`` if they want an implementation of integers.
+  ``Coq.Arith.ZArith.BinInt`` if they want an implementation of integers
   (`#18500 <https://github.com/coq/coq/pull/18500>`_,
   by Pierre Rousselin).
diff --git a/doc/changelog/11-standard-library/18501-more_NatInt_doc.rst b/doc/changelog/11-standard-library/18501-more_NatInt_doc.rst
@@ -1,6 +1,6 @@
 - **Deprecated:**
   The library file ``Coq.Numbers.NatInt.NZProperties`` is deprecated.
   Users can require ``Coq.Numbers.NatInt.NZMulOrder`` instead and replace the
-  module ``NZProperties.NZProp`` with ``NZMulOrder.NZMulOrderProp``.
+  module ``NZProperties.NZProp`` with ``NZMulOrder.NZMulOrderProp``
   (`#18501 <https://github.com/coq/coq/pull/18501>`_,
   by Pierre Rousselin).
diff --git a/doc/changelog/11-standard-library/18538-deprecate_Bool_nat.rst b/doc/changelog/11-standard-library/18538-deprecate_Bool_nat.rst
@@ -1,4 +1,4 @@
 - **Deprecated:**
-  The library file ``Coq.Arith.Bool_nat`` has been deprecated.
+  The library file ``Coq.Arith.Bool_nat`` has been deprecated
   (`#18538 <https://github.com/coq/coq/pull/18538>`_,
   by Pierre Rousselin).
diff --git a/doc/changelog/11-standard-library/18539-deprecate_NZDomain.rst b/doc/changelog/11-standard-library/18539-deprecate_NZDomain.rst
@@ -1,4 +1,4 @@
 - **Deprecated:**
-  The library file ``Coq.Numbers.NatInt.NZDomain`` is deprecated.
+  The library file ``Coq.Numbers.NatInt.NZDomain`` is deprecated
   (`#18539 <https://github.com/coq/coq/pull/18539>`_,
   by Pierre Rousselin).
diff --git a/doc/changelog/11-standard-library/18544-deprecate_Zeuclid.rst b/doc/changelog/11-standard-library/18544-deprecate_Zeuclid.rst
@@ -1,5 +1,5 @@
 - **Deprecated:**
   The library files ``Coq.Numbers.Integers.Abstract.ZDivEucl``
-  and ``Coq.ZArith.Zeuclid`` are deprecated.
+  and ``Coq.ZArith.Zeuclid`` are deprecated
   (`#18544 <https://github.com/coq/coq/pull/18544>`_,
   by Pierre Rousselin).