# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1305662539 14400
# Node ID 4f4f104259fb8eeb07a63686eb8a95666a794298
# Parent  156b8e8c25d8cd172d7d22d2ba0054495792d5a3
Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected

diff -r 156b8e8c25d8 -r 4f4f104259fb CHANGELOG
--- a/CHANGELOG	Sun May 15 17:20:08 2011 -0400
+++ b/CHANGELOG	Tue May 17 16:02:19 2011 -0400
@@ -1,5 +1,5 @@
 ========
-20110515
+20110517
 ========
 
 - Cygwin compatibility