Add a CHANGES marker

diff --git a/CHANGES b/CHANGES
index c02537d86d4dc7d7efebca230eed123e290b7277..93722a30f2caf8e470bd9772fcbf5ed3e721f158 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+       --- 9.19.14 released ---
+
 6192.  [placeholder]
 
 6191.  [placeholder]