From 3a47e52afabb31399b7ad29d9917758f59cf75f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Thu, 12 May 2016 12:31:50 +0200
Subject: [PATCH] Retrigger

---
 CI/ci-mac.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh
index e3c4d92b..5ea9c755 100755
--- a/CI/ci-mac.sh
+++ b/CI/ci-mac.sh
@@ -211,7 +211,7 @@ cd ..
 echo -e "${OUTPUT}"
 echo ""
 echo "======================================================================"
-echo "Package creation"
+echo "Package creation (DMG and tarball)"
 echo "======================================================================"
 echo -e "${NC}"