From 07140213aec08f00440a89b710a4f14c6816c524 Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 13 Jul 2012 08:24:30 +0000 Subject: Preparation for release 1.11 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1975 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- Changelog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index f585848c..c75cd90c 100644 --- a/Changelog +++ b/Changelog @@ -1,4 +1,4 @@ -Release 1.11 +Release 1.11, 2012-07-13 ======================== Improvements in confidence: -- cgit