From d1cdc0496d7d52e3ab91554dbf53fcc0e7f244eb Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 17 Apr 2009 13:27:48 +0000 Subject: Various clean-ups git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1033 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 3e6840d..3be2d36 100644 --- a/Changelog +++ b/Changelog @@ -1,5 +1,5 @@ -Release 1.4, -======================== +Release 1.4, 2009-04-20 +======================= - Modularized the processor dependencies in the back-end. -- cgit v1.2.3