Updates for release 3.11

2 files changed, 6 insertions, 3 deletions

diff --git a/Changelog b/Changelog
index 7690630b..5dc56c1b 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,6 @@
+Release 3.11, 2022-06-27
+========================
+
 New features:
 - Support `_Generic` expressions from ISO C11.
 
@@ -25,8 +28,8 @@ Bug fixes:
 - x86: changed the compilation of `__builtin_fmin` and `__builtin_fmax`
   so that their NaN behavior is the one documented in the manual.
 - Improved reproducibility of register allocation.
-  (Compiling CompCert with two different OCaml versions could result
-  in correct but different allocations.)
+  (Before, compiling CompCert with two different OCaml versions could
+   have resulted in correct but different allocations.)
 - Hardened the configure script against Cygwin installations that produce
   \r\n for end-of-lines (#434).
 - RISC-V: tail calls to far-away functions were causing link-time errors
diff --git a/VERSION b/VERSION
index 5f95604a..c31ce886 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-version=3.10
+version=3.11
 buildnr=
 tag=
 branch=