From c384486ce61ea698552b991dccfc894448adc913 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 10 Jun 2020 17:27:31 +0200
Subject: [PATCH] update version number for final 21.0-Scandium 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 528222fa62e..30537788bc3 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+21.0 (Scandium)                 2020, June 11
 20.0 (Calcium)                  2019, December 4
 19.1 (Potassium)                2019, September 18      OCaml 4.08 compatibility
 19.0 (Potassium)                2019, June 21
diff --git a/VERSION b/VERSION
index 9ebdb8ce128..5f39e914469 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-21.0-beta
+21.0
diff --git a/opam/opam b/opam/opam
index dc97b4ee787..36a9a10da3e 100644
--- a/opam/opam
+++ b/opam/opam
@@ -16,7 +16,7 @@ Thanks to this approach, Frama-C provides sophisticated tools, including:
 These plug-ins communicate between each other via the Frama-C API
 and via ACSL (ANSI/ISO C Specification Language) properties.
 """
-version: "21.0-beta"
+version: "21.0"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab