Updates for release 3.11

AbsInt · Jun 25, 2022 · bcfa971 · bcfa971
1 parent 59c4003
commit bcfa971
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -1,4 +1,4 @@
-version=3.10
+version=3.11
 buildnr=
 tag=
 branch=