From a9415225000b204931f04d602f81780e1d3f06c4 Mon Sep 17 00:00:00 2001
From: Wiimm <wiimm@wiimm.de>
Date: Wed, 3 Feb 2021 17:16:40 +0100
Subject: SZS 2.23a

---
 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 acfe69c..20348a9 100644
--- a/project/revision.sh
+++ b/project/revision.sh
@@ -1 +1 @@
-revision=8352
+revision=8357
-- 
cgit v1.3.1