Add a CHANGES marker

diff --git a/CHANGES b/CHANGES
index eb1aa636feffafe2f0ea9dbc50ca5052547a3c57..e46a3243930160f594baf97eb20fb62b27befb32 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+       --- 9.18.12 released ---
+
 6083.  [bug]           Fix DNSRPS-enabled builds as they were inadvertently
                        broken by change 6042. [GL #3827]