From a39c6c5206d6542e51e032d0fa659a87ad5384ba Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 15 May 2013 20:04:11 +0000 Subject: -2nd attempt to fix #2859, this time things look much better --- ChangeLog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 81c4653e..4afe7fa7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,4 @@ -Mon May 6 12:49:01 CEST 2013 +Mon May 15 12:49:01 CEST 2013 Fixing #2859. -CG Sun May 5 21:44:08 CEST 2013 -- cgit v1.2.3