From 2d3bf71bfbbdfd224b011b992e8e06db278adba5 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <bot@resk-u.ch>
Date: Wed, 30 Oct 2024 12:21:40 +0000
Subject: [PATCH] Increment version to v3.1.20

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 834a260..aa5e3fb 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v3.1.19
+v3.1.20