From 9a7f0972697cdc20523a1d8ed3cc54982af11807 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 21 Jun 2019 10:19:42 +0200
Subject: [PATCH] Sets version to 19.0 for the Potassium release.

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

diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index d9447f7b7d3..41c8714b5e8 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+19.0 (Potassium)                2019, June 21
 18.0 (Argon)                    2018, November 29
 Chlorine-20180502               2018, July 06           Bug fixed
 Chlorine-20180501               2018, June 01
diff --git a/VERSION b/VERSION
index e05f67667f9..0c48b6c985e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-19.0-beta2
\ No newline at end of file
+19.0
\ No newline at end of file
diff --git a/opam/opam b/opam/opam
index d078e4b6cc5..162d6fd2734 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.beta2"
+version: "19.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab