NEWS
changeset 82890 72707b844734
parent 82886 8d1e295aab70
child 82892 45107da819fc
--- a/NEWS	Sun Jul 20 21:50:07 2025 +0200
+++ b/NEWS	Mon Jul 21 12:57:58 2025 +0200
@@ -22,7 +22,7 @@
 intermediate [rule del] declarations. Furthermore, [dest] is now a
 proper declaration on its own account, instead of the former expansion
 [elim_format, elim]. Consequently, [rule del] no longer deletes the
-[elim_format] of the given rule, only the original rule. Rare
+[elim_format] of the given rule, only the original rule. Very rare
 INCOMPATIBILITY: tools like "blast" and "auto" may fail in unusual
 situations.