From 6b0f8756d5fc3dd3203abcb3707ad9e160a17e96 Mon Sep 17 00:00:00 2001
From: Moritz Halbritter <moritz.halbritter@broadcom.com>
Date: Thu, 23 May 2024 10:35:50 +0200
Subject: [PATCH] Next development version (v3.1.13-SNAPSHOT)

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

diff --git a/gradle.properties b/gradle.properties
index 53d907f03b5..d112f4a6363 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -1,4 +1,4 @@
-version=3.1.12-SNAPSHOT
+version=3.1.13-SNAPSHOT
 
 org.gradle.caching=true
 org.gradle.parallel=true