diff --git a/CHANGES b/CHANGES
index fe67f187..e7f35944 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,4 +1,4 @@
-0.13  2017-11-20
+0.13  2017-11-30
     NEW FEATURES
     * match%nat construct for int -> nat coercion
     * abs is now int -> int