Add a CHANGES marker

diff --git a/CHANGES b/CHANGES
index 82dff18868e518010b56aa1aed8788e03051edf3..f08f44d1c0074e225bdbe88179b3ca7223106607 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+       --- 9.17.18 released ---
+
 5711.  [bug]           "map" files exceeding 2GB in size failed to load due to
                        a size comparison that incorrectly treated the file size
                        as a signed integer. [GL #2878]