From 7ba2e1e2487875ee69d7d0254572c2d2263814f3 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 6 Mar 2012 16:02:31 +0000
Subject: Update

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1834 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 README | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README b/README
index 8673e73b..08ce2b02 100644
--- a/README
+++ b/README
@@ -19,9 +19,9 @@ purposes.
 COPYRIGHT:
 
 The Compcert verified compiler is Copyright 2004, 2005, 2006, 2007,
-2008, 2009, 2010, 2011 Institut National de Recherche en Informatique
-et en Automatique (INRIA).  It is distributed under the conditions
-stated in file LICENSE.
+2008, 2009, 2010, 2011, 2012 Institut National de Recherche en
+Informatique et en Automatique (INRIA).  It is distributed under the
+conditions stated in file LICENSE.
 
 
 SUPPORTED PLATFORMS:
-- 
cgit