# HG changeset patch # User Adam Chlipala # Date 1255096226 14400 # Node ID 588b31fe6cc9f1ce94d2d47830edd71e06754cce # Parent 6c5f79209db64213d88fd2daf2f782575320d43a Put right date stamp in CHANGELOG diff -r 6c5f79209db6 -r 588b31fe6cc9 CHANGELOG --- a/CHANGELOG Fri Oct 09 09:16:32 2009 -0400 +++ b/CHANGELOG Fri Oct 09 09:50:26 2009 -0400 @@ -1,5 +1,5 @@ ======== -Next +20091009 ======== - Bug fixes