From 66e0340c72d73b437c0f004fbcefc52a2c2e10a8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 25 Mar 2010 13:04:49 -0400
Subject: New release

---
 CHANGELOG | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG b/CHANGELOG
index 2289dbb2..58be26a1 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,5 +1,5 @@
 ========
-Next
+20100325
 ========
 
 - -verbose flag
@@ -7,6 +7,7 @@ Next
 - 'benignEffectful' and 'safeGet' .urp commands
 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
   security
+- Rename Top.foldR*X to map*X
 - Bug fixes and optimization improvements
 
 ========
-- 
cgit v1.2.3