clean up CHANGES numbers

diff --git a/CHANGES b/CHANGES
index f0315e30d50a3e519011848e762f023f0424396c..dc175bc03ecb9ddbb3c8457084865ff1929ed610 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -122,6 +122,7 @@
                        [RT #46602]
 
        --- 9.12.1 released ---
+
        --- 9.12.1rc2 released ---
 
 4904.  [bug]           Temporarily revert change #4859. [GL #124]