From 4f71ab07c96bb08a6fc2a16500e0cbe96fa8415e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20G=C3=B6ttgens?= <tgoettgens@gmail.com>
Date: Wed, 11 Jan 2023 14:33:54 +0100
Subject: [PATCH] 2.0.12 is out already. Bump develop too.

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

diff --git a/version.properties b/version.properties
index 816f7c2ac..40e7926a9 100644
--- a/version.properties
+++ b/version.properties
@@ -1,4 +1,4 @@
 [VERSION]  
 major = 2
 minor = 0
-build = 12
+build = 13