From 694989f467765360a7fc1294fcc9cf40783df883 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 29 Aug 2019 11:01:34 +0200
Subject: [PATCH] bump version for minor release 19.1

---
 ALL_VERSIONS | 1 +
 VERSION      | 2 +-
 opam/opam    | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 41c8714b5e8..067ee6966c3 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+19.1 (Potassium)                2019, August 30         OCaml 4.08 compatibility
 19.0 (Potassium)                2019, June 21
 18.0 (Argon)                    2018, November 29
 Chlorine-20180502               2018, July 06           Bug fixed
diff --git a/VERSION b/VERSION
index 0c48b6c985e..187bf91fcf3 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-19.0
\ No newline at end of file
+19.1
diff --git a/opam/opam b/opam/opam
index bac0804058e..dc6d31de65a 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "19.0"
+version: "19.1"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab