Last updates for release 1.5.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1142 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 3 insertions, 3 deletions

diff --git a/Changelog b/Changelog
index 8e253ee..083940c 100644
--- a/Changelog
+++ b/Changelog
@@ -1,5 +1,5 @@
-Release 1.5
-=========
+Release 1.5, 2009-08-28
+=======================
 
 - Support for "goto" in the source language Clight.
 
@@ -9,7 +9,7 @@ Release 1.5
   tightened semantic preservation results accordingly.
 
 - Fixed spurious compile-time error on Clight statements of the form
-  "x = f(...)" where x is a global variable.
+  "x = f(...);" where x is a global variable.
 
 - Fixed spurious compile-time error on Clight initializers where
   the initial value is the result of a floating-point computation