From cc87f3a61c5d4b45060972f78618552f573eedc0 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Thu, 21 May 2015 23:32:44 +0200 Subject: [PATCH] Small correction. --- lib/RELEASE-NOTES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/RELEASE-NOTES b/lib/RELEASE-NOTES index 929de940ee..d820c3a313 100644 --- a/lib/RELEASE-NOTES +++ b/lib/RELEASE-NOTES @@ -9,7 +9,7 @@ * The --Separator-- layout has been removed in favor of an environment separator inset. There is no provision for inserting this inset from - the GUI (though some menus use it) as it is automatically inserted + the GUI (though some menu entries use it) as it is automatically inserted when needed. See Section 3.4.6 of the User Guide for details. !!!The following pref variables were added in 2.2: