diff --git a/versioning/release.properties b/versioning/release.properties
new file mode 100644
index 00000000..aa5b574d
--- /dev/null
+++ b/versioning/release.properties
@@ -0,0 +1 @@
+version.release=7.1.2
\ No newline at end of file