Add placeholder for [GL #3278]

diff --git a/CHANGES b/CHANGES
index 35af6a82ed43e01951f01a43ff8094d1dac60fe6..29bb70c4fca94b0ed6d6d026c7d0667c1940eab2 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+5881.  [placeholder]
+
 5880.  [func]          Add new named command-line option -C to print built-in
                        defaults. [GL #1326]