From b00d9ec09d0fc418e575b73b91683068725adc8f Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Wed, 15 Jul 2020 10:52:22 +0200
Subject: [PATCH] update tabs

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

diff --git a/tabs b/tabs
index 54b9953..f9299a8 160000
--- a/tabs
+++ b/tabs
@@ -1 +1 @@
-Subproject commit 54b995350fafa9fcaf0c2a09501940ddb428053f
+Subproject commit f9299a8f893ae18b9539772331c6cdbd8ff6b721
-- 
GitLab