From 0103669e6f22b53554decddaf466438f0ada3b1f Mon Sep 17 00:00:00 2001
From: Federico Tomassetti <federico@strumenta.com>
Date: Thu, 19 Sep 2024 08:42:22 +0200
Subject: [PATCH]  [Gradle Release Plugin] - pre tag commit:  '1.5.72'.

---
 gradle.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle.properties b/gradle.properties
index aa195108..d083df9f 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,4 +1,4 @@
-version=1.5.72-SNAPSHOT
+version=1.5.72
 # Note that we use the EXACT same version of Kotlin as the one included in Gradle, to avoid
 # conflicts
 kotlin_version=1.8.20