From 048c1ddbe13371cc6c37f7b92db46630b11f5b28 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 9 Aug 2008 08:13:13 +0000 Subject: Update git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@711 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Changelog b/Changelog index 93a2cfe6..00669f5e 100644 --- a/Changelog +++ b/Changelog @@ -36,7 +36,7 @@ Release 1.3, 2008-08-11 -Release 1.2, 2008-04-03, SVN version 550 -======================================== +Release 1.2, 2008-04-03 +======================= - First public release -- cgit