From 60f1aed87a5e6aea9af285e3c539200d96e5a295 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Mon, 28 Oct 2019 09:40:29 +0100
Subject: [PATCH] Version 1.2.1

---
 CHANGES.md     | 11 +++++++++--
 Version        |  2 +-
 doc/manual.tex |  2 +-
 3 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index d924c8d15..2889cb287 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,12 @@
 :x: marks a potential source of incompatibility
 
+Version 1.2.1, October 28, 2019
+-------------------------------
+
+Bug fixes
+  * fixed compilation with OCaml 4.09
+  * fixed compilation with Lablgtk3
+
 Provers
   * support for Z3 4.8.6 (released Sep 20, 2019)
   * support for Z3 4.8.5 (released Jun 3, 2019)
@@ -208,8 +215,8 @@ Standard library
     commutative :x:
 
 Miscellaneous
-  * fixed support for `--enable_relocation=yes` (issue #50)
-  * fixed support for Windows (issue #70)
+  * fixed support for `--enable_relocation=yes`
+  * fixed support for Windows
 
 Version 0.88.2, December 7, 2017
 --------------------------------
diff --git a/Version b/Version
index 6aa1ebdf8..07c79d311 100644
--- a/Version
+++ b/Version
@@ -1 +1 @@
-VERSION=1.2.0
+VERSION=1.2.1
diff --git a/doc/manual.tex b/doc/manual.tex
index c048f93cc..42028bc95 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -118,7 +118,7 @@
 %BEGIN LATEX
 \begin{LARGE}
 %END LATEX
-  Version \whyversion{}, January 2019
+  Version \whyversion{}, October 2019
 %BEGIN LATEX
 \end{LARGE}
 %END LATEX
-- 
2.11.4.GIT