Changelog for coq#18670

SkySkimmer · Feb 29, 2024 · a73cf2c · a73cf2c
1 parent cd966bb
commit a73cf2c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst
@@ -654,6 +654,14 @@ Kernel
   (`#18599 <https://github.com/coq/coq/pull/18599>`_,
   by Guillaume Melquiond).
 
+Notations
+^^^^^^^^^
+
+- **Changed:**
+  :warn:`Found no matching notation to enable or disable.` is a warning instead of an error
+  (`#18670 <https://github.com/coq/coq/pull/18670>`_,
+  by Pierre Roux).
+
 Tactics
 ^^^^^^^