From 4fe9a7f8d7f32978ba3ed4db2867b5bd69f59ba1 Mon Sep 17 00:00:00 2001
From: Tobias Weiss <weiss@zib.de>
Date: Tue, 1 Sep 2020 11:54:49 +0200
Subject: [PATCH] inc dummy

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

diff --git a/dummy b/dummy
index 34ae923..efd58d0 100644
--- a/dummy
+++ b/dummy
@@ -1,2 +1,2 @@
-191
+192
 
-- 
GitLab