From f24eb8d7706a87504acbeb860906528a4f58dd31 Mon Sep 17 00:00:00 2001
From: Folkert van Heusden <mail@vanheusden.com>
Date: Fri, 28 Jun 2024 19:16:48 +0200
Subject: [PATCH] 7.1.3

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

diff --git a/version b/version
index e2b821e..2ceab00 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-VERSION=7.1.2
+VERSION=7.1.3