From 0e143e393d99ebb00cb14ffaa4c50efeec3729f1 Mon Sep 17 00:00:00 2001
From: Wiimm <wiimm@wiimm.de>
Date: Fri, 16 Dec 2022 16:02:51 +0100
Subject: SZS v2.31a

---
 project/revision.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'project/revision.sh')

diff --git a/project/revision.sh b/project/revision.sh
index 5b63af6..9b2fea9 100644
--- a/project/revision.sh
+++ b/project/revision.sh
@@ -1 +1 @@
-revision=8708
+revision=8725
-- 
cgit v1.3.1