From f021d12ad51db9abac4bf5cf6c535378f277d13b Mon Sep 17 00:00:00 2001
From: Timm Fitschen <timm.fitschen@ds.mpg.de>
Date: Thu, 20 Dec 2018 00:03:50 +0100
Subject: [PATCH] BUG: removed debug output

---
 patches/utils/patch_header.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/patches/utils/patch_header.sh b/patches/utils/patch_header.sh
index 2f08e86..3af2273 100644
--- a/patches/utils/patch_header.sh
+++ b/patches/utils/patch_header.sh
@@ -189,4 +189,3 @@ function redo_table {
 	$MYSQL_CMD $MYSQL_CONNECTION -D $DATABASE_NAME < ${DATABASE_NAME}.${1}.${OLD_VERSION}.dump.sql
 }
 
-echo "$MYSQL_CMD $MYSQL_CONNECTION -D $DATABASE_NAME -e $1"
-- 
GitLab