Merge PR #8419: Remove romega in favor of lia

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 8651c8e23a..29b8fa1094 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,10 @@ Plugins
   externally, the Coq development team can provide assistance for extracting
   the plugin and setting up a new repository.
 
+Tactics
+
+- Removed the deprecated `romega` tactics.
+
 Changes from 8.8.2 to 8.9+beta1
 ===============================