1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 921688664..9c89cdb8e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -34,6 +34,7 @@ Changes from V8.5pl1 to V8.5pl2
 Bugfixes
 
 - #4677: fix alpha-conversion in notations needing eta-expansion
+- Fully preserve initial order of hypotheses in "Regular Subst Tactic" mode.
 
 Changes from V8.5 to V8.5pl1
 ============================