add placeholder

diff --git a/CHANGES b/CHANGES
index 38e8923ca4881c2d8c356ddb61192cf4879ae869..a21f15975610a808bdd6157d0dc1e16ac6630fb7 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+4716.  [placeholder]
+
        --- 9.12.0a1 released ---
 
 4715.  [bug]           TreeMemMax was mis-identified as a second HeapMemMax