From 92fa23abaeb37de94e41587e3ce1c2c097997306 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 28 Jun 2021 15:45:12 +0200
Subject: [PATCH] Frama-C 23.0-Vanadium

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

diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 3b893358466..64a0142c4f5 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,5 +1,6 @@
 Version number			Date of release		Notes
 ==============			===============		=====
+23.0 (Vanadium)                 2021, June 28
 22.0 (Titanium)                 2020, November 17
 21.1 (Scandium)                 2020, June 25           Bugs fixed
 21.0 (Scandium)                 2020, June 11
diff --git a/VERSION b/VERSION
index c1f68b44d64..4266d863480 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-23.0~rc1
+23.0
\ No newline at end of file
diff --git a/VERSION_CODENAME b/VERSION_CODENAME
index 55a4a1f3d59..f4b3009d21d 100644
--- a/VERSION_CODENAME
+++ b/VERSION_CODENAME
@@ -1 +1 @@
-Vanadium
+Vanadium
\ No newline at end of file
-- 
GitLab