diff --git a/CHANGES b/CHANGES index e5119355d..d89886868 100644 --- a/CHANGES +++ b/CHANGES @@ -40,6 +40,9 @@ New features added - #6: Don't generate redundant ``