From 471a36cab64b287b12fbb2903a44e3f24b3e76ab Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 17 May 2011 16:02:19 -0400 Subject: Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected --- CHANGELOG | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index db6d0146..0138d3a6 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,5 +1,5 @@ ======== -20110515 +20110517 ======== - Cygwin compatibility -- cgit v1.2.3