Merge branch 'main' of https://github.com/redis-developer/riot.git in…

…to main
redis · Jul 10, 2023 · c26791e · c26791e
2 parents f0f61fd + 6439bff
commit c26791e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-3.1.2-SNAPSHOT
+3.1.2