From 6439bffb4e6299948b5858a63cfed37f89c27491 Mon Sep 17 00:00:00 2001
From: Julien Ruaux <jruaux@gmail.com>
Date: Wed, 5 Jul 2023 23:30:01 +0000
Subject: [PATCH] Releasing version 3.1.2

---
 README.adoc | 2 +-
 VERSION     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.adoc b/README.adoc
index 3174fc617..37a6fb082 100644
--- a/README.adoc
+++ b/README.adoc
@@ -2,7 +2,7 @@
 :project-owner:   redis-developer
 :project-name:    riot
 :project-group:   com.redis
-:project-version: 3.1.1
+:project-version: 3.1.2
 :project-title:   RIOT
 
 image::src/media/banner.png[RIOT]
diff --git a/VERSION b/VERSION
index 1b1bda409..ef538c281 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.2-SNAPSHOT
+3.1.2