From fdd2a79c449f847813829b68c8cdefa76f4ba0cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 28 May 2019 15:48:36 +0200
Subject: [PATCH] Sets version to 19.0-beta2.

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

diff --git a/VERSION b/VERSION
index 8f08de2f1dc..e05f67667f9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-19.0-beta
\ No newline at end of file
+19.0-beta2
\ No newline at end of file
diff --git a/opam/opam b/opam/opam
index 6d397bf21e3..7b2c44a9fa9 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.beta1"
+version: "19.0.beta2"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab